Szukaj
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 ...