Zofia Kostrzycka
12 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On Interpolation and Hallden-Completeness in NEXT(KTB) Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 23 - 32ROK: 2012CZYSTY TEKSTBIBTEX
-
On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p) Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 37 - 43ROK: 2007CZYSTY TEKSTBIBTEX
-
On the Density of Truth in Dummett's Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 1-2 / s. 43 - 55ROK: 2003CZYSTY TEKSTBIBTEX
-
Stoic ``Undemonstrables'' and indirect-deduction theorems Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 53 - 60ROK: 1994CZYSTY TEKSTBIBTEX
-
On the Family of Logics Determined by Parasol-Frames Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 1-2 / s. 69 - 81ROK: 2011CZYSTY TEKSTBIBTEX
-
On Formulas with one Variable in some Fragment of Grzegorczyk's Modal Logic Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / s. 95 - 106ROK: 2004CZYSTY TEKSTBIBTEX
-
On the Density of Truth in Grzegorczyk's Modal Logic Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / s. 107 - 120ROK: 2004CZYSTY TEKSTBIBTEX
-
On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / s. 111 - 130ROK: 2015CZYSTY TEKSTBIBTEX
-
On Formulas of one Variable in NEXT(KTB) Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 2-3 / s. 119 - 131ROK: 2006CZYSTY TEKSTBIBTEX
-
On Interpolation in NEXT(KB.Alt(2)) Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 3 / s. 159 - 170ROK: 2018CZYSTY TEKSTBIBTEX
-
Interpolation in Normal Extensions of the Brouwer Logic Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 3-4 / s. 171 - 186ROK: 2016CZYSTY TEKSTBIBTEX
-
From Intuitionism to Brouwer's Modal Logic Opublikowano w: Bulletin of the Section of Logic 2020 / Tom 49 / Numer 4 / s. 343 - 358ROK: 2020CZYSTY TEKSTBIBTEX
