Zofia Kostrzycka

Available identifiers

zbMath Open kostrzycka.zofiaMaRDI QIDQ519845

List of research outcomes

Publication	Date of Publication	Type
Fuzzy logics – quantitatively	2024-03-20	Paper
All splitting logics in the lattice NEXT(KTB.3'A)	2022-10-17	Paper
Projective unification in weakly transitive and weakly symmetric modal logics	2022-09-22	Paper
From Intuitionism to Brouwer's Modal Logic	2021-07-07	Paper
On interpolation in NEXT(KB.Alt(2))	2019-03-21	Paper
Interpolation in Normal Extensions of the Brouwer Logic	2017-11-22	Paper
Normal modal logics determined by aligned clusters	2017-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q2959883	2017-02-10	Paper
On Halldén completeness of modal logics determined by homogeneous Kripke frames	2016-05-31	Paper
On linear Brouwerian logics	2014-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5413328	2014-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5411489	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5411404	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3574988	2010-07-05	Paper
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB	2010-01-14	Paper
On the density of truth of locally finite logics	2010-01-14	Paper
On the density of truth of implicational parts of intuitionistic and classical logics	2009-11-11	Paper
The density of truth in monadic fragments of some intermediate logics	2009-03-24	Paper
On non-compact logics in NEXT(KTB)	2008-12-10	Paper
Asymptotic densities in logic and type theory	2008-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q5460171	2008-05-02	Paper
On asymptotic divergency in equivalential logics	2008-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4826045	2004-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4826044	2004-11-05	Paper
Statistics of intuitionistic versus classical logics	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4438099	2003-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4408988	2003-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4408987	2003-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4399405	1999-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q4339466	1997-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4305490	1994-11-21	Paper

Research outcomes over time

This page was built for person: Zofia Kostrzycka