Geodesic
Useful Four-Valued Extension of the Temporal Logic KtT4
Bulletin of the Section of Logic, Tome 47 (2018) no. 1

Voir la notice de l'article provenant de la source Library of Science

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.
Keywords: temporal logic, many-valued logic, bi-intuitionistic logic, paraconsistent logic, sequent calculus, duality, cut-redundancy 
@article{BSL_2018_47_1_a4,
     author = {Degauquier, Vincent},
     title = {Useful {Four-Valued} {Extension} of the {Temporal} {Logic} {KtT4}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {47},
     number = {1},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a4/}
}
TY  - JOUR
AU  - Degauquier, Vincent
TI  - Useful Four-Valued Extension of the Temporal Logic KtT4
JO  - Bulletin of the Section of Logic
PY  - 2018
VL  - 47
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a4/
LA  - en
ID  - BSL_2018_47_1_a4
ER  - 
%0 Journal Article
%A Degauquier, Vincent
%T Useful Four-Valued Extension of the Temporal Logic KtT4
%J Bulletin of the Section of Logic
%D 2018
%V 47
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a4/
%G en
%F BSL_2018_47_1_a4
Degauquier, Vincent. Useful Four-Valued Extension of the Temporal Logic KtT4. Bulletin of the Section of Logic, Tome 47 (2018) no. 1. http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a4/