Partial cut elimination for combinations of propositional multi-modal logics with past time
Articles
Jūratė Sakalauskaitė
Vilnius University
Published 2011-12-15
https://doi.org/10.15388/LMR.2011.ml07
PDF

Keywords

modal logic
temporal logic
sequent calculus
cut

How to Cite

Sakalauskaitė J. (2011) “Partial cut elimination for combinations of propositional multi-modal logics with past time”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 257–261. doi: 10.15388/LMR.2011.ml07.

Abstract

We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.

 

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy

Most read articles by the same author(s)