Justified common knowledge

DOI10.1016/J.TCS.2006.03.009MaRDI QIDQ2500478zbMATH OpenOpenAlexFDO

Authors Sergei Artemov

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

zbMATH Keywords

common knowledgeepistemic logicjustificationlogic of proofs

Mathematics Subject Classification ID

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)

Recommendations

• Justifications for common knowledge
• Justified and Common Knowledge: Limited Conservativity
• Distributed knowledge justification logics
• Introducing Justification into Epistemic Logic
• Distributed knowledge with justifications

Cites work

• 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?)
• About cut elimination for logics of common knowledge
• Active agents
• Agreeing to disagree
• Elusive knowledge
• Explicit provability and constructive semantics
• 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

(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
• Lower complexity bounds in justification logic
• Semirings of Evidence
• A modal type theory for formalizing trusted communications
• The ontology of justifications in the logical setting
• The basic intuitionistic logic of proofs
• Small infinitary epistemic logics
• The Logic of Justification
• Non-circular proofs and proof realization in modal logic
• Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
• Tracking evidence
• Update as evidence: belief expansion
• Distributed knowledge with justifications
• 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 logic of plausible justifications
• A quantified logic of evidence
• 2007 Annual Meeting of the Association for Symbolic Logic
• Syntactic cut-elimination for common knowledge
• Common Knowledge and the Knowledge Account of Assertion
• Justifications for common knowledge
• A Logic of Knowledge and Belief Based on Abstract Arguments
• Reasoning with Justifications
• A logic of knowing why
• The logic of justification
• 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
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• Explicit generic common knowledge
• 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)