Two Ways to Common Knowledge

DOI10.1016/j.entcs.2010.04.007zbMath1345.03027MaRDI QIDQ3185764

Roman Kuznets, Thomas Studer, Samuel Bucheli

Publication date: 5 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.04.007

zbMATH Keywords

proof theory; common knowledge; justification logics

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

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

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

Semirings of Evidence, The logic of justified belief, explicit knowledge, and conclusive evidence, The Proof Theory of Common Knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Games for the \(\mu\)-calculus
• The logic of proofs, semantically
• Self-referential justifications in epistemic logic
• On the proof theory of the modal mu-calculus
• An automata theoretic decision procedure for the propositional mu- calculus
• Local model checking in the modal mu-calculus
• Borel determinacy
• About cut elimination for logics of common knowledge
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION
• A Proof System for the Linear Time μ-Calculus
• Justified and Common Knowledge: Limited Conservativity