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 : official journal of the European Foundation for 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|
Feedback Delivery Service