Wyświetlanie pozycji 1-1 z 1

    • A Useful Four-Valued Extension of the Temporal Logic KtT4 

      Degauquier, Vincent (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 ...