Explicit Generic Common Knowledge
From MaRDI portal
Publication:3455832
DOI10.1007/978-3-642-35722-0_2zbMath1419.03017MaRDI QIDQ3455832
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
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
68T42: Agent technology and artificial intelligence
Related Items
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