Wyniki
-
On Formulas with one Variable in some Fragment of Grzegorczyk's Modal Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 33 /2 (2004) s. 95-106 -
On the Density of Truth in Grzegorczyk's Modal Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 33 /2 (2004) s. 107-120 -
On Formulas of one Variable in NEXT(KTB)
Zofia Kostrzycka
Bulletin of the Section of Logic , 35 /2-3 (2006) s. 119-131 -
On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)
Zofia Kostrzycka
Bulletin of the Section of Logic , 36 /1-2 (2007) s. 37-43 -
On the Family of Logics Determined by Parasol-Frames
Zofia Kostrzycka
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 69-81 -
On Interpolation and Hallden-Completeness in NEXT(KTB)
Zofia Kostrzycka
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 23-32 -
On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames
Zofia Kostrzycka
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 111-130 -
Interpolation in Normal Extensions of the Brouwer Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 171-186 -
On Interpolation in NEXT(KB.Alt(2))
Zofia Kostrzycka
Bulletin of the Section of Logic , 47 /3 (2018) s. 159-170 -
From Intuitionism to Brouwer's Modal Logic
Zofia Kostrzycka
Bulletin of the Section of Logic , 49 /4 (2020) s. 343-358