Wyniki
-
Partially-elementary extension Kripke models and Burr's hierarchy
Tomasz Połacik
Bulletin of the Section of Logic , 28 /4 (1999) s. 207-214 -
Quantified Intuitionistic Propositional Logic and Cantor Space
Tomasz Połacik
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 65-74 -
Anti-Chains, Focuses and Projective Formulas
Tomasz Połacik
Bulletin of the Section of Logic , 34 /1 (2005) s. 1-12 -
Bisimulation Reducts of First-Order Kripke Models
Tomasz Połacik
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 151-160