Explicit Generic Common Knowledge

DOI10.1007/978-3-642-35722-0_2zbMath1419.03017OpenAlexW2111550338MaRDI QIDQ3455832

Evangelia Antonakos

Publication date: 11 December 2015

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_2

zbMATH Keywords

common knowledgerealizationjustification logicepistemic modal logicgeneric common knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (1)

Pairing Traditional and Generic Common Knowledge

Cites Work

• The ontology of justifications in the logical setting
• Interacting explicit evidence systems
• Agreeing to disagree
• About cut elimination for logics of common knowledge
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• Multi-agent Explicit Knowledge
• THE LOGIC OF JUSTIFICATION
• Justified and Common Knowledge: Limited Conservativity

This page was built for publication: Explicit Generic Common Knowledge