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...
|Published in:||Journal of Logic, Language, and Information, Vol. 19, No. 4 (2010), p. 451-484|
|Other Involved Persons:|
|Item Description:||Copyright: © 2010 Springer|
|Other Editions:||Show all 2 Editions|
|QR Code:||Show QR Code|