Gentzen and Temporal Sequents
Abstract
The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trzęsicki at the 1980s. The second, called Multiple Sequent Calculus (MSC), was proposed in the beginning of the present century. Both approaches are examples of the family of multisequent calculi.
Language: English
Page range: 241 - 258
Published on: Dec 21, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2024 Andrzej Indrzejczak, published by University of Białystok
This work is licensed under the Creative Commons Attribution 4.0 License.