Justifications for common knowledge
From MaRDI portal
Abstract: Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic.
Recommendations
Cites work
- About cut elimination for logics of common knowledge
- Cut-free common knowledge
- Explicit provability and constructive semantics
- scientific article; zbMATH DE number 1114348 (Why is no real title available?)
- Interacting explicit evidence systems
- Justification logics, logics of knowledge, and conservativity
- Justified common knowledge
- Logics of public communications
- Propositional games with explicit strategies
- Self-referential justifications in epistemic logic
- Syntactic cut-elimination for common knowledge
- The logic of justification
- The logic of proofs, semantically
Cited in
(32)- Common knowledge and quantification
- The fragility of common knowledge
- Event-based time-stamped claim logic
- Explicit non-normal modal logic
- Distributed knowledge justification logics
- Realizing public announcements by justifications
- Justified common knowledge
- A logic of knowing why
- A logic of plausible justifications
- The proof theory of common knowledge
- Explicit generic common knowledge
- Update as evidence: belief expansion
- scientific article; zbMATH DE number 4154410 (Why is no real title available?)
- Multi-agent justification logic: communication and evidence elimination
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Lower complexity bounds in justification logic
- Decidability for justification logics revisited
- Justification Logics with Probability Operators
- A Conflict Tolerant Logic of Explicit Evidence
- Semirings of Evidence
- A Logic of Knowledge and Belief Based on Abstract Arguments
- The transmission of knowledge and justification
- Distributed knowledge with justifications
- Common Knowledge and the Knowledge Account of Assertion
- Decidability for some justification logics with negative introspection
- Practical extraction of evidence terms from common-knowledge reasoning
- Justified and Common Knowledge: Limited Conservativity
- Common Knowledge, Common Attitudes and Social Reasoning
- Conditional obligations in justification logic
- Modal and justification logics for multi-agent systems (invited talk)
- Explicit non-normal modal logic
- A realization theorem for the modal logic of transitive closure \(\mathsf{K}^+\)
This page was built for publication: Justifications for common knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2901206)
