Conservativity for Logics of Justified Belief

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

Abstract

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.

Preview

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