Wyniki
-
Decidability of tense logics
Frank Wolter
Bulletin of the Section of Logic , 24 /1 (1995) s. 46-50 -
The algebraic face of minimality
Frank Wolter
Logic and Logical Philosophy 6 (1998) s. 225-240
Frank Wolter
Bulletin of the Section of Logic
, 24
/1
(1995)
s. 46-50
Frank Wolter
Logic and Logical Philosophy
6
(1998)
s. 225-240