Automata for Epistemic Temporal Logic with Synchronous Communication

We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents' local states are annotated with...

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:Journal of Logic, Language, and Information, Vol. 19, No. 4 (2010), p. 451-484
1. Verfasser: Mohalik, Swamp
Weitere beteiligte Personen: Ramanujam, R.
Format: elektronischer Aufsatz
Sprache:English
ISSN:1572-9583
Anmerkung:Copyright: © 2010 Springer
Umfang:Online-Ressource
Schlagworte:
Andere Ausgaben:Alle 2 Ausgaben anzeigen
QR-Code: QR-Code anzeigen