Conservativity for Logics of Justified Belief

  • Robert S. Milnikel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5407)


In [1], 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, but taking a semantic approach rather than Fitting’s syntactic one. A brief example shows that conservativity does not hold for logics of justified consistent belief.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Robert S. Milnikel
    • 1
  1. 1.Kenyon CollegeGambierUSA

Personalised recommendations