| Publication | Date of Publication | Type |
|---|
| Reusing topological nexttime logic | 2021-05-25 | Paper |
| Topological facets of the logic of subset spaces (with emphasis on canonical models) | 2020-02-13 | Paper |
| Augmenting Subset Spaces to Cope with Multi-agent Knowledge | 2017-07-21 | Paper |
| Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference | 2015-12-11 | Paper |
| On Topologically Relevant Fragments of the Logic of Linear Flows of Time | 2015-09-24 | Paper |
| Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay | 2015-09-11 | Paper |
| Characterizing Subset Spaces as Bi-topological Structures | 2014-01-17 | Paper |
| Characterizing Certain Topological Specifications | 2012-09-10 | Paper |
| Logics for multi-subset spaces | 2012-07-17 | Paper |
| The Cantor Space as a Generic Model of Topologically Presented Knowledge | 2010-06-22 | Paper |
| Using hybrid logic for coping with functions in subset spaces | 2010-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408135 | 2010-02-24 | Paper |
| Observational Effort and Formally Open Mappings | 2009-07-02 | Paper |
| A hybrid logic for reasoning about knowledge and topology | 2009-03-24 | Paper |
| Regarding overlaps in `topologic' | 2008-07-01 | Paper |
| A PDL-Like Logic of Knowledge Acquisition | 2008-06-03 | Paper |
| Including the Past in ‘Topologic’ | 2008-01-04 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| A two-sorted hybrid logic including guarded jumps | 2006-08-15 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465441 | 2005-08-22 | Paper |
| The Hybrid Logic of Linear Set Spaces | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738569 | 2004-08-11 | Paper |
| A modal logic for discretely descending chains of sets | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415255 | 2003-07-28 | Paper |
| Linear Tense Logics of Increasing Sets | 2003-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782705 | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767162 | 2002-01-28 | Paper |
| Expressive completeness of modal logic on binary ramified frames | 2001-11-25 | Paper |
| Topological modal logics satisfying finite chain conditions | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501687 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501147 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699305 | 2000-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250363 | 2000-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934251 | 2000-02-14 | Paper |
| Temporal aspects of the modal logic of subset spaces | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215596 | 1999-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376054 | 1998-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373590 | 1998-01-21 | Paper |
| On Binary Computation Structures | 1997-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840188 | 1995-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998237 | 1993-01-23 | Paper |
| On finite intersections of Henselian valued fields | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680817 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218215 | 1984-01-01 | Paper |
