Justifications for common knowledge

DOI10.3166/jancl.21.35-60zbMath1242.03036arXiv1005.0484OpenAlexW3100226298MaRDI QIDQ2901206

Samuel Bucheli, Roman Kuznets, Thomas Studer

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1005.0484

Mathematics Subject Classification ID

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

Related Items (18)

Explicit Generic Common Knowledge ⋮ Update as Evidence: Belief Expansion ⋮ Decidability for some justification logics with negative introspection ⋮ A Conflict Tolerant Logic of Explicit Evidence ⋮ Explicit non-normal modal logic ⋮ Semirings of Evidence ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Common Knowledge, Common Attitudes and Social Reasoning ⋮ Lower complexity bounds in justification logic ⋮ Conditional obligations in justification logic ⋮ Modal and justification logics for multi-agent systems (invited talk) ⋮ A logic of knowing why ⋮ Realizing public announcements by justifications ⋮ The Proof Theory of Common Knowledge ⋮ Distributed knowledge justification logics ⋮ Event-based time-stamped claim logic ⋮ Justification Logics with Probability Operators

Cites Work

• Unnamed Item
• The logic of proofs, semantically
• Propositional games with explicit strategies
• Interacting explicit evidence systems
• Self-referential justifications in epistemic logic
• Syntactic cut-elimination for common knowledge
• Justification logics, logics of knowledge, and conservativity
• About cut elimination for logics of common knowledge
• Logics of public communications
• Cut-free common knowledge
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION

This page was built for publication: Justifications for common knowledge