| Publication | Date of Publication | Type |
|---|
| Simple Axioms for Local Properties | 2024-02-28 | Paper |
| Unification types in Euclidean modal logics | 2023-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884938 | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884940 | 2023-03-24 | Paper |
| Remarks about the unification types of some locally tabular normal modal logics | 2023-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039110 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039160 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869521 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869667 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104697 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104698 | 2022-09-15 | Paper |
| Unification with parameters in the implication fragment of classical propositional logic | 2022-07-22 | Paper |
| Orthogonal frames and indexed relations | 2022-06-24 | Paper |
| About the unification type of \(\mathbf{K}+\square \square \bot\) | 2022-05-04 | Paper |
| Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms | 2022-03-30 | Paper |
| Asynchronous Announcements | 2022-02-24 | Paper |
| Relational representation theorems for extended contact algebras | 2021-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999206 | 2021-07-06 | Paper |
| About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) | 2021-05-11 | Paper |
| About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability | 2020-07-14 | Paper |
| Contact Logic is Finitary for Unification with Constants | 2020-07-14 | Paper |
| Intuitionistic Linear Temporal Logics | 2020-02-14 | Paper |
| Unification in modal logic | 2020-01-14 | Paper |
| Axiomatization and computability of a variant of iteration-free PDL with fork | 2019-11-28 | Paper |
| Two decision problems in Contact Logics | 2019-11-04 | Paper |
| Remarks about the unification type of several non-symmetric non-transitive modal logics | 2019-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224560 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224561 | 2019-07-24 | Paper |
| The dynamics of epistemic attitudes in resource-bounded agents | 2019-07-03 | Paper |
| Modal logics with relative accessibility relations | 2019-04-29 | Paper |
| Geometrical structures and modal logic | 2019-04-29 | Paper |
| Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization | 2019-01-31 | Paper |
| Representation theorems for extended contact algebras based on equivalence relations | 2019-01-29 | Paper |
| Modal correspondence theory in the class of all Euclidean frames | 2018-09-28 | Paper |
| Putting right the wording and the proof of the Truth Lemma forAPAL | 2018-09-12 | Paper |
| Unification in epistemic logics | 2018-09-12 | Paper |
| KD is nullary | 2018-09-12 | Paper |
| Modal logics for reasoning about infinite unions and intersections of binary relations | 2018-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636026 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636027 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636028 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636029 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636282 | 2018-04-23 | Paper |
| Axiomatization and computability of a variant of iteration-free PDL with fork | 2018-04-12 | Paper |
| Bisimulations for intuitionistic temporal logics | 2018-03-13 | Paper |
| Finitariness of elementary unification in Boolean region connection calculus | 2018-01-04 | Paper |
| Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL | 2017-07-03 | Paper |
| Undecidable problems for modal definability: Table 1. | 2017-05-17 | Paper |
| Temporal Here and There | 2016-11-30 | Paper |
| Two-sorted Point-Interval Temporal Logics | 2016-10-07 | Paper |
| Controller/Orchestrator Synthesis via Filtration | 2016-08-05 | Paper |
| Reasoning about negligibility and proximity in the set of all hyperreals | 2016-06-30 | Paper |
| Admissibility and Unifiability in Contact Logics | 2015-12-03 | Paper |
| Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition | 2015-12-02 | Paper |
| Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations | 2015-03-23 | Paper |
| Subset Space Logic with Arbitrary Announcements | 2015-01-06 | Paper |
| Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition | 2014-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419869 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419870 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419871 | 2014-06-11 | Paper |
| Definability and Canonicity for Boolean Logic with a Binary Relation | 2014-04-25 | Paper |
| Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders | 2013-09-20 | Paper |
| Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL* | 2013-09-17 | Paper |
| Agents that look at one another | 2013-06-11 | Paper |
| Deciding the word problem in pure double Boolean algebras | 2013-05-02 | Paper |
| Deciding the Bisimilarity Relation between Datalog Goals | 2012-09-21 | Paper |
| Axiomatization and completeness of lexicographic products of modal logics | 2012-07-17 | Paper |
| Reasoning about permitted announcements | 2011-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003823 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2995633 | 2011-05-04 | Paper |
| Boolean logics with relations | 2010-11-11 | Paper |
| A Dynamic Logic for Termgraph Rewriting | 2010-10-04 | Paper |
| ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ | 2010-08-13 | Paper |
| Group announcement logic | 2010-06-11 | Paper |
| Tableaux for Public Announcement Logic | 2010-02-19 | Paper |
| Axiomatization and Completeness of Lexicographic Products of Modal Logics | 2010-01-07 | Paper |
| Dynamic logics of the region-based theory of discrete spaces | 2009-11-30 | Paper |
| Modal Logics for Parallelism, Orthogonality, and Affine Geometries | 2009-11-30 | Paper |
| Hyper arrow logic with indiscernibility and complementarity | 2009-11-11 | Paper |
| Hyper arrow logic with indiscernibility and complementarity | 2009-11-11 | Paper |
| PDL with intersection of programs: a complete axiomatization | 2009-11-11 | Paper |
| Artificial Intelligence: Methodology, Systems, and Applications | 2009-04-29 | Paper |
| Logical approaches to deontic reasoning: From basic questions to dynamic solutions | 2008-11-07 | Paper |
| A Logical Approach to Dynamic Role-Based Access Control | 2008-11-04 | Paper |
| Alternative axiomatics and complexity of deliberative STIT theories | 2008-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509044 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509046 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3507554 | 2008-06-20 | Paper |
| Boolean Logics with Relations | 2008-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445158 | 2008-03-03 | Paper |
| A Tableau Method for Public Announcement Logics | 2008-01-04 | Paper |
| Line-based affine reasoning in Euclidean plane | 2007-07-25 | Paper |
| Definability Over the Class of all Partitions | 2007-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425570 | 2007-02-26 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| On the consistency problem for the \(\mathcal {INDU}\) calculus | 2006-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695186 | 2005-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737132 | 2004-08-11 | Paper |
| Dynamic extensions of arrow logic | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4462629 | 2004-05-18 | Paper |
| Inequality without irreflexivity | 2004-01-13 | Paper |
| A new proof of completeness for a relative modal logic with composition and intersection | 2004-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415068 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3148329 | 2003-07-25 | Paper |
| Spatial reasoning about points in a multidimensional setting | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784884 | 2002-12-12 | Paper |
| Tractability Results in the Block Algebra | 2002-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537509 | 2002-07-01 | Paper |
| A hierarchy of modal logics with relative accessibility relations | 2002-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2711323 | 2001-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735831 | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494316 | 2001-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215592 | 2001-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946223 | 2000-12-03 | Paper |
| The Modal Multilogic of Geometry | 1999-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4253874 | 1999-08-09 | Paper |
| Complete Axiomatization of a Relative Modal Logic with Composition and Intersection | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375804 | 1998-02-08 | Paper |
| Modal logics for incidence geometries | 1997-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4846468 | 1995-08-27 | Paper |
| A translation from the modal logic of provability into K4 | 1994-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138702 | 1993-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035698 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018068 | 1993-01-16 | Paper |
| Modal Logic and Negation as Failure | 1991-01-01 | Paper |
