| Publication | Date of Publication | Type |
|---|
Fuzzy logics – quantitatively
Journal of Applied Non-Classical Logics | 2024-03-20 | Paper |
All splitting logics in the lattice NEXT(KTB.3'A)
Scientific Issues Jan Długosz University in Częstochowa. Mathematics | 2022-10-17 | Paper |
Projective unification in weakly transitive and weakly symmetric modal logics
Journal Of Logic And Computation | 2022-09-22 | Paper |
From intuitionism to Brouwer's modal logic
Bulletin of the Section of Logic | 2021-07-07 | Paper |
On interpolation in NEXT(KB.Alt(2))
Bulletin of the Section of Logic | 2019-03-21 | Paper |
Interpolation in Normal Extensions of the Brouwer Logic
Bulletin of the Section of Logic | 2017-11-22 | Paper |
Normal modal logics determined by aligned clusters
Studia Logica | 2017-04-07 | Paper |
| On density of truth of the intuitionistic logic in one variable | 2017-02-10 | Paper |
On Halldén completeness of modal logics determined by homogeneous Kripke frames
Bulletin of the Section of Logic | 2016-05-31 | Paper |
On linear Brouwerian logics
Mathematical Logic Quarterly (MLQ) | 2014-10-10 | Paper |
| scientific article; zbMATH DE number 6290300 (Why is no real title available?) | 2014-04-29 | Paper |
| On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\) | 2014-04-23 | Paper |
| scientific article; zbMATH DE number 6287642 (Why is no real title available?) | 2014-04-23 | Paper |
| Density of truth in modal logics | 2010-07-05 | Paper |
On the density of truth of locally finite logics
Journal Of Logic And Computation | 2010-01-14 | Paper |
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
Journal Of Logic And Computation | 2010-01-14 | Paper |
On the density of truth of implicational parts of intuitionistic and classical logics
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
The density of truth in monadic fragments of some intermediate logics
Journal of Logic, Language and Information | 2009-03-24 | Paper |
On non-compact logics in NEXT(KTB)
Mathematical Logic Quarterly | 2008-12-10 | Paper |
Asymptotic densities in logic and type theory
Studia Logica | 2008-06-25 | Paper |
| On formulas of one variable in NEXT(KTB) | 2008-05-02 | Paper |
On asymptotic divergency in equivalential logics
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
| scientific article; zbMATH DE number 2114315 (Why is no real title available?) | 2004-11-05 | Paper |
| scientific article; zbMATH DE number 2114316 (Why is no real title available?) | 2004-11-05 | Paper |
Statistics of intuitionistic versus classical logics
Studia Logica | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2015271 (Why is no real title available?) | 2003-12-09 | Paper |
| scientific article; zbMATH DE number 1941927 (Why is no real title available?) | 2003-11-05 | Paper |
| scientific article; zbMATH DE number 1941928 (Why is no real title available?) | 2003-11-05 | Paper |
| scientific article; zbMATH DE number 1180151 (Why is no real title available?) | 1999-04-08 | Paper |
| scientific article; zbMATH DE number 1018724 (Why is no real title available?) | 1997-07-07 | Paper |
| scientific article; zbMATH DE number 638617 (Why is no real title available?) | 1994-11-21 | Paper |
