Justified common knowledge
From MaRDI portal
Publication:2500478
Recommendations
Cites work
- About cut elimination for logics of common knowledge
- Active agents
- Agreeing to disagree
- Elusive knowledge
- Explicit provability and constructive semantics
- scientific article; zbMATH DE number 589737 (Why is no real title available?)
- scientific article; zbMATH DE number 1114348 (Why is no real title available?)
- scientific article; zbMATH DE number 1114356 (Why is no real title available?)
- scientific article; zbMATH DE number 1166301 (Why is no real title available?)
- scientific article; zbMATH DE number 2149443 (Why is no real title available?)
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Introducing Justification into Epistemic Logic
- Justified and Common Knowledge: Limited Conservativity
- Knowledge and common knowledge in a distributed environment
- Logic of proofs
- Logic of proofs and provability
- Making knowledge explicit: how hard it is
- Referential logic of proofs
- The logic of proofs, semantically
- The single-conclusion proof logic and inference rules specification
Cited in
(50)- Syntactic cut-elimination for common knowledge
- Justification logics, logics of knowledge, and conservativity
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Explicit non-normal modal logic
- Distributed knowledge justification logics
- Non-circular proofs and proof realization in modal logic
- Realizing public announcements by justifications
- A quantified logic of evidence
- A logic of knowing why
- Justifications for common knowledge
- The Logic of Justification
- Two ways to common knowledge
- The proof theory of common knowledge
- Explicit generic common knowledge
- Update as evidence: belief expansion
- The logic of uncertain justifications
- Topological Semantics of Justification Logic
- S4LP and Local Realizability
- Justification Logic
- 2007 Annual Meeting of the Association for Symbolic Logic
- The logic of justification
- Tracking evidence
- Reasoning with Justifications
- The NP-Completeness of Reflected Fragments of Justification Logics
- The logic of justified belief, explicit knowledge, and conclusive evidence
- The logic of uncertain justifications
- Lower complexity bounds in justification logic
- A modal type theory for formalizing trusted communications
- The ontology of justifications in the logical setting
- Syntactic cut-elimination for common knowledge
- A Conflict Tolerant Logic of Explicit Evidence
- Semirings of Evidence
- A Logic of Knowledge and Belief Based on Abstract Arguments
- Distributed knowledge with justifications
- Common Knowledge and the Knowledge Account of Assertion
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Small infinitary epistemic logics
- Pairing traditional and generic common knowledge
- An arithmetical interpretation of verification and intuitionistic knowledge
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- The basic intuitionistic logic of proofs
- Practical extraction of evidence terms from common-knowledge reasoning
- Justified and Common Knowledge: Limited Conservativity
- Symmetric Logic of Proofs
- Conditional obligations in justification logic
- A modal provability logic of explicit and implicit proofs
- Explicit non-normal modal logic
- A realization theorem for the modal logic of transitive closure \(\mathsf{K}^+\)
- Propositional games with explicit strategies
- A logic of plausible justifications
This page was built for publication: Justified common knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500478)
