A Useful Four-Valued Extension of the Temporal Logic KtT4
Streszczenie
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.
Collections
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.