Abstract
AbstractThis is a sequel article to [10] where a hypersequent calculus (HC) for some temporal logics of linear frames includingKt4.3and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In this article we present an equivalent variant of this calculus for which a constructive syntactical proof of cut elimination is provided.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference20 articles.
1. Some calculi of modal logic;Mints;Trudy Matematicheskogo Instituta imeni V. A. Steklova,1968
2. Hypersequent Calculi for Modal Logics Extending S4
3. Cut-free hypersequent calculus for S4.3;Indrzejczak;Bulletin of the Section of Logic,2012
4. Hypersequent Calculi for Godel Logics -- a Survey
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献