A Useful Four-Valued Extension of the Temporal Logic KtT4
MetadataShow full item record
The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
Except where otherwise noted, this item's license is described as This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Showing items related by title, author, creator and subject.
Zawidzki, Michał (Łódź University PressJagiellonian University Press, 2014)
Robles, Gemma; López, Sandra M.; Blanco, José M.; Recio, Marcos M.; Paradela, Jesús R. (Wydawnictwo Uniwersytetu Łódzkiego, 2016)The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. ...
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs Tourlakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2016)Reference  introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen ...