Justification logics, logics of knowledge, and conservativity

DOI10.1007/s10472-009-9112-2zbMath1173.03013OpenAlexW2072402123MaRDI QIDQ1028642

Melvin Fitting

Publication date: 6 July 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9112-2

zbMATH Keywords

modal logicjustification logicconservativitylogic of knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Justifications for common knowledge, Labeled sequent calculus for justification logics, A new framework for justification logic, Conservativity for logics of justified belief: two approaches, Realization for justification logics via nested sequents: modularity through embedding, Distributed knowledge justification logics, Conservativity for Logics of Justified Belief, Propositional games with explicit strategies, The Minimal System of Justification Logic with Names, Justification logics, logics of knowledge, and conservativity, Structured argumentation dynamics. Undermining attacks in default justification logic

Cites Work

• Unnamed Item
• The logic of proofs, semantically
• Justification logics, logics of knowledge, and conservativity
• Belief, awareness, and limited reasoning
• A quantified logic of evidence
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Epistemology Without Knowledge and Without Belief
• Introducing Justification into Epistemic Logic
• Evidence Reconstruction of Epistemic Modal Logic S5
• Reasoning with Justifications
• Provability logics with quantifiers on proofs