| Publication | Date of Publication | Type |
|---|
| A modular bisimulation characterisation for fragments of hybrid logic | 2023-12-22 | Paper |
| Kites and representations of pseudo MV-algebras | 2023-10-31 | Paper |
| Edge colourings and qualitative representations of chromatic algebras | 2023-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884957 | 2023-03-24 | Paper |
| Omitting types theorem in hybrid dynamic first-order logic with rigid symbols | 2022-12-23 | Paper |
| Lindström’s theorem, both syntax and semantics free | 2022-09-22 | Paper |
| Robinson consistency in many-sorted hybrid first-order logics | 2022-08-18 | Paper |
| Beyond wreath and block | 2022-08-11 | Paper |
| Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols | 2022-03-09 | Paper |
| Splittings in varieties of logic | 2021-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5149063 | 2021-02-06 | Paper |
| Fraïssé–Hintikka theorem in institutions | 2020-12-15 | Paper |
| Varieties of semiassociative relation algebras and tense algebras | 2020-04-06 | Paper |
| Coherence in Modal Logic | 2019-07-24 | Paper |
| Normal extensions of KTB of codimension 3 | 2019-07-24 | Paper |
| Uniform interpolation and coherence | 2019-05-02 | Paper |
| Algebraic foundations for qualitative calculi and networks | 2019-03-26 | Paper |
| Quasi-subtractive varieties: Open filters, congruences and the commutator | 2019-01-08 | Paper |
| Two-sided wreath product done right | 2018-06-20 | Paper |
| Uniform interpolation and coherence | 2018-03-24 | Paper |
| ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC | 2017-07-06 | Paper |
| RELATION ALGEBRAS AND R | 2017-05-31 | Paper |
| ON WHEN A SEMANTICS IS NOT A GOOD SEMANTICS: THE ALGEBRAISATION OF ORTHOMODULAR LOGIC | 2017-01-16 | Paper |
| An abelian rule for BCI -- and variations | 2016-12-15 | Paper |
| Complexity and polymorphisms for digraph constraint problems under some basic constructions | 2016-12-14 | Paper |
| Representability of Ramsey relation algebras | 2015-10-14 | Paper |
| The power of a propositional constant | 2014-09-18 | Paper |
| Quasi-discriminator varieties | 2014-07-18 | Paper |
| BCK is not structurally complete | 2014-06-04 | Paper |
| Kites and pseudo BL-algebras. | 2014-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411413 | 2014-04-23 | Paper |
| On independent varieties and some related notions | 2013-11-18 | Paper |
| Boolean-like algebras | 2013-07-12 | Paper |
| On normal-valued basic pseudo-hoops | 2013-01-25 | Paper |
| Computable isomorphisms of Boolean algebras with operators | 2012-12-12 | Paper |
| On certain quasivarieties of quasi-MV algebras | 2012-03-09 | Paper |
| Quasi-subtractive varieties | 2011-12-23 | Paper |
| State morphism MV-algebras | 2011-11-22 | Paper |
| Joins and subdirect products of varieties | 2011-08-16 | Paper |
| On decomposition of pseudo BL-algebras | 2011-07-15 | Paper |
| On the structure of pseudo BL-algebras and pseudo hoops in quantum logics | 2011-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086534 | 2011-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3083863 | 2011-03-23 | Paper |
| Multipotent GBL-algebras | 2011-01-07 | Paper |
| The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras | 2010-12-01 | Paper |
| Fuzzy logics from substructural perspective | 2010-03-18 | Paper |
| Two cooperative versions of the guessing secrets problem | 2009-10-01 | Paper |
| All Splitting Logics in the Lattice NExt(KTB) | 2009-02-05 | Paper |
| Completions of GBL-algebras: negative results | 2009-01-29 | Paper |
| Self-implications in BCI | 2008-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505078 | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441557 | 2008-02-15 | Paper |
| A note on monothetic BCI | 2007-08-01 | Paper |
| Residuated lattices. An algebraic glimpse at substructural logics | 2007-05-30 | Paper |
| Semisimple varieties of modal algebras | 2006-10-27 | Paper |
| Retraction note for “PDL has interpolation” | 2005-08-29 | Paper |
| Semisimplicity, EDPC and discriminator varieties of residuated lattices | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460839 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438108 | 2003-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438128 | 2003-12-09 | Paper |
| Splitting in the variety of residuated lattices | 2003-04-23 | Paper |
| PDL has interpolation | 2002-11-27 | Paper |
| Remarks on splittings in the variety of residuated lattices | 2002-03-13 | Paper |
| The variety of residuated lattices is generated by its finite simple members | 2001-10-16 | Paper |
| Outcomes in Branching Space-Time and GHZ-Bell Theorems | 2001-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4443183 | 2001-01-01 | Paper |
| GHZ theorems in the framework of outcomes in branching space-time | 2000-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4943495 | 2000-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4887111 | 1996-08-01 | Paper |
