Automata for epistemic temporal logic with synchronous communication

DOI10.1007/s10849-009-9118-5zbMath1234.03008OpenAlexW2027902535MaRDI QIDQ616040

Sumit K. Garg

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

zbMATH Keywords

decidabilitytemporal logicepistemic logicdistributed causal knowledgeepistemic automataknowledge expressionsregular consistent languages

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (3)

Quantified temporal alethic boulesic doxastic logic ⋮ Intensional protocols for dynamic epistemic logic ⋮ Knowledge and Local Actions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Automata for epistemic temporal logic with synchronous communication