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...

Full description

Bibliographic Details
Published in:Journal of Logic, Language, and Information, Vol. 19, No. 4 (2010), p. 451-484
Main Author: Mohalik, Swamp
Other Involved Persons: Ramanujam, R.
Format: electronic Article
Item Description:Copyright: © 2010 Springer
Physical Description:Online-Ressource
Other Editions:Show all 2 Editions
QR Code: Show QR Code