Cut-free sequent calculi for some tense logics
- 1 January 1994
- journal article
- Published by Springer Science and Business Media LLC in Studia Logica
- Vol. 53 (1), 119-135
- https://doi.org/10.1007/bf01053026
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUTMathematical Logic Quarterly, 1992
- A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential MethodPublications of the Research Institute for Mathematical Sciences, 1977
- Temporal LogicPublished by Springer Science and Business Media LLC ,1971