Justified common knowledge
From MaRDI portal
Publication:2500478
DOI10.1016/j.tcs.2006.03.009zbMath1094.03005OpenAlexW1968710686MaRDI QIDQ2500478
Publication date: 16 August 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.03.009
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Pairing Traditional and Generic Common Knowledge, An Arithmetical Interpretation of Verification and Intuitionistic Knowledge, Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility, Justifications for common knowledge, The basic intuitionistic logic of proofs, Explicit Generic Common Knowledge, Update as Evidence: Belief Expansion, The Logic of Uncertain Justifications, A Conflict Tolerant Logic of Explicit Evidence, Explicit non-normal modal logic, Two Ways to Common Knowledge, Semirings of Evidence, The logic of justified belief, explicit knowledge, and conclusive evidence, The logic of uncertain justifications, A Logic of Knowledge and Belief Based on Abstract Arguments, Topological Semantics of Justification Logic, S4LP and Local Realizability, Lower complexity bounds in justification logic, Conditional obligations in justification logic, Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms, A modal type theory for formalizing trusted communications, A logic of knowing why, A modal provability logic of explicit and implicit proofs, The Logic of Justification, The ontology of justifications in the logical setting, Justification Logic, 2007 Annual Meeting of the Association for Symbolic Logic, Realizing public announcements by justifications, The Proof Theory of Common Knowledge, A quantified logic of evidence, THE LOGIC OF JUSTIFICATION, Tracking Evidence, Reasoning with Justifications, The NP-Completeness of Reflected Fragments of Justification Logics, Symmetric Logic of Proofs, Propositional games with explicit strategies, Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility, A logic of plausible justifications, SMALL INFINITARY EPISTEMIC LOGICS, Syntactic cut-elimination for common knowledge, Syntactic Cut-elimination for Common Knowledge, Justification logics, logics of knowledge, and conservativity, Non-circular proofs and proof realization in modal logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of proofs, semantically
- Agreeing to disagree
- Logic of proofs
- Active agents
- About cut elimination for logics of common knowledge
- Making knowledge explicit: how hard it is
- Referential logic of proofs
- Explicit Provability and Constructive Semantics
- Elusive Knowledge
- Introducing Justification into Epistemic Logic
- Knowledge and common knowledge in a distributed environment
- Justified and Common Knowledge: Limited Conservativity
- The single-conclusion proof logic and inference rules specification
- Logic of proofs and provability
