Tomasz Połacik
4 artykuły w 1 czasopismach
-
Anti-Chains, Focuses and Projective Formulas Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 1 - 122005CZYSTY TEKST
Tomasz Połacik, Anti-Chains, Focuses and Projective Formulas, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 1, s. 1 - 12
BIBTEX@Article{ authors = " Tomasz Połacik", title = "Anti-Chains, Focuses and Projective Formulas", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 1", pages = "1 - 12" }
-
Quantified Intuitionistic Propositional Logic and Cantor Space Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 1-2 / s. 65 - 742003CZYSTY TEKST
Tomasz Połacik, Quantified Intuitionistic Propositional Logic and Cantor Space, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 1-2, s. 65 - 74
BIBTEX@Article{ authors = " Tomasz Połacik", title = "Quantified Intuitionistic Propositional Logic and Cantor Space", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 1-2", pages = "65 - 74" }
-
Bisimulation Reducts of First-Order Kripke Models Opublikowano w: Bulletin of the Section of Logic 2013 / Tom 42 / Numer 3-4 / s. 151 - 1602013CZYSTY TEKST
Tomasz Połacik, Bisimulation Reducts of First-Order Kripke Models, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 151 - 160
BIBTEX@Article{ authors = " Tomasz Połacik", title = "Bisimulation Reducts of First-Order Kripke Models", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "151 - 160" }
-
Partially-elementary extension Kripke models and Burr's hierarchy Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 207 - 2141999CZYSTY TEKST
Tomasz Połacik, Partially-elementary extension Kripke models and Burr's hierarchy, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 4, s. 207 - 214
BIBTEX@Article{ authors = " Tomasz Połacik", title = "Partially-elementary extension Kripke models and Burr's hierarchy", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 4", pages = "207 - 214" }
