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 : official journal of the European Foundation for 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
Further Information:Volltext
QR Code: Show QR Code