Conservativity for logics of justified belief: two approaches

DOI10.1016/J.APAL.2011.09.015MaRDI QIDQ408535zbMATH OpenOpenAlexFDO

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

doxastic logicepistemic logicjustification logicssemantics for logic of beliefsequent calculus

Mathematics Subject Classification ID

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

Review text

The author mainly focuses on two logics of justified belief to which he refers as J and J4. The logical syntax of J4 includes the operation of positive introspection while that of J does not. The author shows, syntactically and semantically, that for every proof in J4 of a wff in which there is no occurrence of the operator in question, there is a corresponding proof in J. In addition, there are some remarks in the paper on whether similar results can or cannot be obtained for other logics of justified belief.

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
• scientific article; zbMATH DE number 1421196
• Partial logics reconsidered: A conservative approach
• Justification logics and hybrid logics
• Conservative extensions in modal logic

Cites work

• Explicit provability and constructive semantics
• 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?)
• Justification logics, logics of knowledge, and conservativity
• Logic of proofs
• The logic of justification
• The logic of proofs, semantically

Cited in

(4)

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

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)