Skip to main content
Log in

Cut-free sequent calculi for some tense logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We introduce certain enhanced systems of sequent calculi for tense logics, and prove their completeness with respect to Kripke-type semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. R. A. Bull,Cut elimination for propositional dynamic logic without*,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38 (1992), pp. 85–100.

    Google Scholar 

  2. N. Rescher andA. Urquhart,Temporal Logic, Springer-Verlag, Wien 1971.

    Google Scholar 

  3. M. Sato,A study of Kripke-type models for some modal logics by Gentzen's sequential method,Publications of the Research Institute for Mathematical Sciences, Kyoto University 13 (1977), pp. 381–468.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kashima, R. Cut-free sequent calculi for some tense logics. Stud Logica 53, 119–135 (1994). https://doi.org/10.1007/BF01053026

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01053026

Keywords

Navigation