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/Q5411404	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5411489	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3574988	2010-07-05	Paper
On the Density of Truth of Locally Finite Logics	2010-01-14	Paper
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB	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/Q4826044	2004-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4826045	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/Q4408987	2003-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4408988	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Zofia Kostrzycka