Conservativity for logics of justified belief: Two approaches

2Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

In . [7], Fitting showed that the standard hierarchy of logics of justified knowledge is conservative (e.g.a logic with positive introspection operator ! is conservative over the logic without !). We do the same with most logics of justified belief, showing both conservation of sequent proofs and extensibility of models. A brief example shows that conservativity does not hold for logics of justified consistent belief. © 2011 Elsevier B.V.

Cite

CITATION STYLE

APA

Milnikel, R. S. (2012). Conservativity for logics of justified belief: Two approaches. Annals of Pure and Applied Logic, 163(7), 809–819. https://doi.org/10.1016/j.apal.2011.09.015

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free