Propositional primal logic with disjunction

Gurevich and Neeman introduced Distributed Knowledge Authorization Language (DKAL). The world of DKAL consists of communicating principals computing their own knowledge in their own states. DKAL is based on a new logic of information, the so-called infon logic, and its efficient subsystem called pri...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logic and computation 2014-02, Vol.24 (1), p.257-282
Hauptverfasser:	Beklemishev, L., Gurevich, Y.
Format:	Artikel
Sprache:	eng
Schlagworte:	Calculi
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!