New Axiomatisation AA* Enhances Asynchronous Epistemic Logic
AA* is an infinitary axiomatisation that handles any send/receive history, dropping AA's clean‑slate assumption; it cannot be reduced to static operators. Read more: getnews.me/new-axiomatisation-aa-en... #asynchronous #epistemiclogic
0
0
0
0