@article{Degauquier_2018, title={Useful Four-Valued Extension of the Temporal Logic KtT4}, volume={47}, url={https://czasopisma.uni.lodz.pl/bulletin/article/view/3904}, DOI={10.18778/0138-0680.47.1.02}, abstractNote={<p>The temporal logic K<sub>t</sub>T4 is the modal logic obtained from the minimal temporal logic K<sub>t</sub> 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 K<sub>t</sub>T4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.</p>}, number={1}, journal={Bulletin of the Section of Logic}, author={Degauquier, Vincent}, year={2018}, month={Mar.}, pages={15–31} }