Conservativity for logics of justified belief: two approaches

DOI10.1016/J.APAL.2011.09.015MaRDI QIDQ408535zbMATHOpenAlexFDO

Authors Robert Saxon Milnikel

Publication date 10 April 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2011.09.015

zbMATH Keywords

epistemic logicsequent calculusdoxastic logicjustification logicssemantics for logic of belief

Mathematics Subject Classification ID

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

Recommendations

• Conservativity for Logics of Justified Belief
• Justification logics, logics of knowledge, and conservativity
• scientific article; zbMATH DE number 6302917
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• The ontology of justifications in the logical setting
• Justification logic for constructive modal logic
• Publication:4946225
• Partial logics reconsidered: A conservative approach
• Justification logics and hybrid logics
• Conservative extensions in modal logic

Cites work

• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• Explicit provability and constructive semantics
• Justification logics, logics of knowledge, and conservativity
• Logic of proofs
• The logic of justification
• The logic of proofs, semantically

Cited in

(4)

• Conservativity for Logics of Justified Belief
• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• The two faces of compatibility with justified beliefs
• Labeled sequent calculus for justification logics

This page was built for publication: Conservativity for logics of justified belief: two approaches

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408535)