Justified common knowledge
DOI10.1016/J.TCS.2006.03.009zbMATH Open1094.03005OpenAlexW1968710686MaRDI QIDQ2500478FDOQ2500478
Authors: Sergei Artemov Edit this on Wikidata
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
Recommendations
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic of proofs
- Explicit provability and constructive semantics
- The logic of proofs, semantically
- Agreeing to disagree
- Title not available (Why is that?)
- Knowledge and common knowledge in a distributed environment
- Title not available (Why is that?)
- About cut elimination for logics of common knowledge
- Introducing Justification into Epistemic Logic
- Making knowledge explicit: how hard it is
- Justified and Common Knowledge: Limited Conservativity
- Elusive knowledge
- Logic of proofs and provability
- The single-conclusion proof logic and inference rules specification
- Title not available (Why is that?)
- Active agents
- Title not available (Why is that?)
- Title not available (Why is that?)
- Referential logic of proofs
- Title not available (Why is that?)
Cited In (48)
- The logic of justified belief, explicit knowledge, and conclusive evidence
- The logic of uncertain justifications
- Justified and Common Knowledge: Limited Conservativity
- Practical extraction of evidence terms from common-knowledge reasoning
- Propositional games with explicit strategies
- Semirings of Evidence
- Lower complexity bounds in justification logic
- The basic intuitionistic logic of proofs
- A modal type theory for formalizing trusted communications
- The ontology of justifications in the logical setting
- Small infinitary epistemic logics
- The Logic of Justification
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- Non-circular proofs and proof realization in modal logic
- Tracking evidence
- Distributed knowledge with justifications
- Update as evidence: belief expansion
- Two ways to common knowledge
- Syntactic cut-elimination for common knowledge
- S4LP and Local Realizability
- Symmetric Logic of Proofs
- The proof theory of common knowledge
- Explicit non-normal modal logic
- Realizing public announcements by justifications
- A quantified logic of evidence
- A logic of plausible justifications
- 2007 Annual Meeting of the Association for Symbolic Logic
- Syntactic cut-elimination for common knowledge
- Common Knowledge and the Knowledge Account of Assertion
- A Logic of Knowledge and Belief Based on Abstract Arguments
- Justifications for common knowledge
- Reasoning with Justifications
- The logic of justification
- A logic of knowing why
- A Conflict Tolerant Logic of Explicit Evidence
- Topological Semantics of Justification Logic
- The logic of uncertain justifications
- A modal provability logic of explicit and implicit proofs
- Justification logics, logics of knowledge, and conservativity
- The NP-Completeness of Reflected Fragments of Justification Logics
- An arithmetical interpretation of verification and intuitionistic knowledge
- Justification Logic
- Explicit generic common knowledge
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Distributed knowledge justification logics
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Pairing traditional and generic common knowledge
- Conditional obligations in justification logic
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)
