Displaying as Temporalizing

  • Heinrich Wansing
Part of the Trends in Logic book series (TREN, volume 3)


This chapter is about display sequent calculi for subintuitionistic logics, that is, logics obtained from intuitionistic sentential logic by giving up or relaxing all or part of the following conditions: (i) persistence of atomic information, (ii) reflexivity of the accessibility relation ⊑ (iii) transitivity of ⊑. The sequent calculi are obtained from sequent systems for certain ‘temporalizations’ of the subintuitionistic logics. However, we will not consider full temporalizations, but only one particular construction which is available because the temporalizing and the temporalized system are complete with respect to the same class of Kripke models. The subintuitionistic logics are motivated by extending the well-known informational interpretation of intuitionistic Kripke models.


Kripke Model Structural Rule Sequent Calculus Classical Propositional Logic Kripke Frame 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

  • Heinrich Wansing
    • 1
  1. 1.Institute of Logic and Philosophy of ScienceUniversity of LeipzigLeipzigGermany

Personalised recommendations