Introducing Justification into Epistemic Logic

DOI10.1093/logcom/exi053zbMath1088.03015OpenAlexW2009552408MaRDI QIDQ3371155

Elena Nogina, Sergej N. Artemov

Publication date: 21 February 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi053

zbMATH Keywords

knowledgeepistemic logiclogic of proofsjustification

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (50)

Possibilistic Justification Logic ⋮ Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ An epistemic logic for becoming informed ⋮ Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ The basic intuitionistic logic of proofs ⋮ Logics of Rational Interaction ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ Modalities Without Worlds ⋮ A logic of interactive proofs ⋮ Labeled sequent calculus for justification logics ⋮ A modal view on resource-bounded propositional logics ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Evidence and plausibility in neighborhood structures ⋮ A new framework for justification logic ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Topological Semantics of Justification Logic ⋮ S4LP and Local Realizability ⋮ Tableaux and hypersequents for justification logics ⋮ Lower complexity bounds in justification logic ⋮ Prefixed tableaus and nested sequents ⋮ The dynamics of awareness ⋮ Dynamic logics of knowledge and access ⋮ A modal type theory for formalizing trusted communications ⋮ Providing personalized explanations: a conversational approach ⋮ A logic of knowing why ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ The Logic of Justification ⋮ Unnamed Item ⋮ The ontology of justifications in the logical setting ⋮ Justification Logic ⋮ 2007 Annual Meeting of the Association for Symbolic Logic ⋮ Feasible operations on proofs: the logic of proofs for bounded arithmetic ⋮ Syntactic awareness in logical dynamics ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ THE LOGIC OF JUSTIFICATION ⋮ Tracking Evidence ⋮ A LOGIC OF JUSTIFICATION AND TRUTHMAKING ⋮ Justified common knowledge ⋮ Reasoning with Justifications ⋮ Beliefs supported by binary arguments ⋮ Tableaux and Hypersequents for Justification Logic ⋮ 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 ⋮ Decidability: theorems and admissible rules ⋮ DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE ⋮ Justification logics, logics of knowledge, and conservativity ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence

This page was built for publication: Introducing Justification into Epistemic Logic