Wyniki
-
Gentzen-style axiomatization of tense logic
Kazimierz Trzesicki
Bulletin of the Section of Logic , 13 /2 (1984) s. 75-84 -
Deterministic and indeterministic tense operators
Kazimierz Trzesicki
Bulletin of the Section of Logic , 16 /2 (1987) s. 76-84 -
Is discreteness of time necessary for Diodorean Master Argument?
Kazimierz Trzesicki
Bulletin of the Section of Logic , 16 /3 (1987) s. 125-139