%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