Formalizing Concurrent Common Knowledge as Product of Modal Logics

DOI10.1093/JIGPAL/JZI049MaRDI QIDQ3378197zbMATH OpenOpenAlexFDO

Authors Vania Costa, Mario Benevides

Publication date 30 March 2006

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/c911b3f0c52c189253d814250ed7c507c13d32a2

zbMATH Keywords

distributed systemsepistemic logicmany-dimensional logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Reasoning about Knowledge in Asynchronous Distributed Systems
• Concurrent common knowledge: Defining agreement for asynchronous systems
• La connaissance commune en logique modale
• The proof theory of common knowledge
• Refined common knowledge logics or logics of common information

Cited in

(5)

• Concurrent common knowledge: Defining agreement for asynchronous systems
• scientific article; zbMATH DE number 589745 (Why is no real title available?)
• Product of Graphs and Hybrid Logic
• scientific article; zbMATH DE number 7117799 (Why is no real title available?)
• Reasoning about Knowledge in Asynchronous Distributed Systems

This page was built for publication: Formalizing Concurrent Common Knowledge as Product of Modal Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3378197)