Przeglądaj Bulletin of the Section of Logic 47/1 (2018) według tematu "paraconsistent logic"
Wyświetlanie pozycji 1-1 z 1
-
A Useful Four-Valued Extension of the Temporal Logic KtT4
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)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 ...