Automata for epistemic temporal logic with synchronous communication
From MaRDI portal
Publication:616040
DOI10.1007/s10849-009-9118-5zbMath1234.03008MaRDI QIDQ616040
Publication date: 7 January 2011
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-009-9118-5
decidability; temporal logic; epistemic logic; distributed causal knowledge; epistemic automata; knowledge expressions; regular consistent languages
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03D05: Automata and formal grammars in connection with logical questions
03B44: Temporal logic
Cites Work
- Logics of communication and change
- Merging frameworks for interaction
- How processes learn
- Reasoning about update logic
- A knowledge based semantics of messages
- Defaults in update semantics
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Knowledge and common knowledge in a distributed environment
- Dynamic Epistemic Logic and Knowledge Puzzles
- Notes on finite asynchronous automata
- Complete Axiomatizations for Reasoning about Knowledge and Time
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item