Abstract
We introduce certain enhanced systems of sequent calculi for tense logics, and prove their completeness with respect to Kripke-type semantics.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
R. A. Bull,Cut elimination for propositional dynamic logic without*,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38 (1992), pp. 85–100.
N. Rescher andA. Urquhart,Temporal Logic, Springer-Verlag, Wien 1971.
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.
Author information
Authors and Affiliations
Rights 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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01053026