Conservativity for logics of justified belief: two approaches

DOI10.1016/j.apal.2011.09.015zbMath1247.03024OpenAlexW1977282909MaRDI QIDQ408535

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

sequent calculusepistemic logicdoxastic logicjustification logicssemantics for logic of belief

Mathematics Subject Classification ID

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

Related Items (max. 100)

Labeled sequent calculus for justification logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Justification logics, logics of knowledge, and conservativity
• Logic of proofs
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION

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