| Publication | Date of Publication | Type |
|---|
| Modal syllogistic | 2024-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5883192 | 2023-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869727 | 2022-09-28 | Paper |
| Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract) | 2022-06-15 | Paper |
| Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality | 2022-02-04 | Paper |
| On the investigations of Ivan Prodanov in the theory of abstract spectra | 2021-06-16 | Paper |
| Point-free theories of space and time | 2020-04-28 | Paper |
| Geometrical structures and modal logic | 2019-04-29 | Paper |
| A mereotopology based on sequent algebras | 2018-09-12 | Paper |
| Mereotopologies with Predicates of Actual Existence and Actual Contact | 2018-03-02 | Paper |
| A generalization of the Stone duality theorem | 2017-08-30 | Paper |
| Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III | 2017-07-18 | Paper |
| Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. | 2017-07-13 | Paper |
| Distributive mereotopology: extended distributive contact lattices | 2017-01-27 | Paper |
| Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II | 2016-10-13 | Paper |
| Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I | 2015-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419899 | 2014-06-11 | Paper |
| Dynamic modalities | 2012-10-01 | Paper |
| Logics of space with connectedness predicates: complete axiomatizations | 2012-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085170 | 2011-03-30 | Paper |
| Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA | 2011-03-22 | Paper |
| Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations | 2011-01-03 | Paper |
| A Proximity Approach to Some Region-Based Theories of Space | 2009-11-30 | Paper |
| Dynamic logics of the region-based theory of discrete spaces | 2009-11-30 | Paper |
| PDL with intersection of programs: a complete axiomatization | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5324584 | 2009-08-03 | Paper |
| A modal approach to dynamic ontology: modal mereotopology | 2008-11-10 | Paper |
| A modal logic for Pawlak's approximation spaces with rough cardinality \(n\) | 2008-06-20 | Paper |
| Distributive contact lattices: topological representations | 2008-06-19 | Paper |
| Topological Representation of Contact Lattices | 2008-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445158 | 2008-03-03 | Paper |
| Region-based theory of discrete spaces: A proximity approach | 2007-10-12 | Paper |
| Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA | 2007-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3447202 | 2007-06-28 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA | 2007-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425570 | 2007-02-26 | Paper |
| Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation | 2007-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416080 | 2007-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416081 | 2007-01-19 | Paper |
| Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | 2006-11-01 | Paper |
| Elementary canonical formulae: extending Sahlqvist's theorem | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483303 | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483000 | 2006-08-15 | Paper |
| Nelson's negation on the base of weaker versions of intuitionistic negation | 2006-01-30 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311052 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4822578 | 2004-10-25 | Paper |
| Dynamic extensions of arrow logic | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430401 | 2003-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3148329 | 2003-07-25 | Paper |
| Hyperboolean Algebras and Hyperboolean Modal Logic | 2003-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784884 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329240 | 2002-12-11 | Paper |
| Sahlqvist formulas in hybrid polyadic modal logics | 2002-02-19 | Paper |
| Iteration-free PDL with intersection: A complete axiomatization | 2001-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489076 | 2001-03-07 | Paper |
| Rough polyadic modal logics | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394921 | 1999-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244318 | 1999-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215608 | 1999-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381713 | 1999-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838376 | 1999-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395630 | 1998-10-06 | Paper |
| Many-dimensional arrow logics | 1998-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349285 | 1997-11-05 | Paper |
| Modal logics for incidence geometries | 1997-08-19 | Paper |
| A duality between Pawlak's knowledge representation systems and bi-consequence systems | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694256 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029612 | 1993-03-28 | Paper |
| A modal logic for cyclic repeating | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018076 | 1993-01-16 | Paper |
| Modal logics for knowledge representation systems | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3982060 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033739 | 1989-01-01 | Paper |
| Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729757 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735691 | 1985-01-01 | Paper |
| An application of Rieger-Nishimura formulas to the intuitionistic modal logics | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684106 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318100 | 1983-01-01 | Paper |
| Intuitionistic modal logics incompatible with the law of the excluded middle | 1981-01-01 | Paper |
| Notes on \(\eta\)-lattices and constructive logic with strong negation | 1977-01-01 | Paper |
| Lattices related to Post algebras and their applications to some logical systems | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4056000 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053650 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053612 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5659509 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639887 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5610836 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5594268 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579538 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607214 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5659515 | 1968-01-01 | Paper |
