Pairing Traditional and Generic Common Knowledge

DOI10.1007/978-3-319-27683-0_2zbMath1476.03011OpenAlexW2293574812MaRDI QIDQ5283415

Evangelia Antonakos

Publication date: 21 July 2017

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

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

zbMATH Keywords

modal logiccommon knowledgeepistemic logicgeneric common knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

The Proof Theory of Common Knowledge ⋮ SMALL INFINITARY EPISTEMIC LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Syntactic cut-elimination for common knowledge
• About cut elimination for logics of common knowledge
• Justified common knowledge
• Explicit Generic Common Knowledge
• Justified and Common Knowledge: Limited Conservativity

This page was built for publication: Pairing Traditional and Generic Common Knowledge