| Publication | Date of Publication | Type |
|---|
| About the unification types of modal logics | 2024-10-01 | Paper |
| About the complete axiomatization of dynamic extensions of arrow logic | 2024-09-06 | Paper |
| Parametrized modal logic. II: The unidimensional case | 2024-06-05 | Paper |
| Simple Axioms for Local Properties | 2024-02-28 | Paper |
| Unification types in Euclidean modal logics | 2023-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884940 | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884938 | 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 |
| Bisimulations for intuitionistic temporal logics | 2022-10-12 | Paper |
| Elementary unification in modal logic \(KD45\) | 2022-09-28 | Paper |
| Setting the basis for here and there modal logics | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104697 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104698 | 2022-09-15 | Paper |
| Decidable and Undecidable Problems for First-Order Definability and Modal Definability | 2022-08-11 | 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 |
| From public announcements to asynchronous announcements | 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 |
| Here and there modal logic with dual implication | 2019-07-24 | Paper |
| Frame-validity games and absolute minimality of modal axioms | 2019-07-24 | Paper |
| The dynamics of epistemic attitudes in resource-bounded agents | 2019-07-03 | Paper |
| Geometrical structures and modal logic | 2019-04-29 | Paper |
| Modal logics with relative accessibility relations | 2019-04-29 | Paper |
| Iteration-free \(\mathrm{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 |
| Unification in epistemic logics | 2018-09-12 | Paper |
| KD is nullary | 2018-09-12 | Paper |
| Putting right the wording and the proof of the truth lemma for \textit{APAL} | 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/Q4636027 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636028 | 2018-04-23 | Paper |
| Unification in modal logic \(\mathrm{Alt}_1\) | 2018-04-23 | Paper |
| Before announcement | 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 | 2017-05-17 | Paper |
| On logics of group belief in structured coalitions | 2016-11-30 | 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 |
| Completeness and definability of a modal logic interpreted over iterated strict partial orders | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419870 | 2014-06-11 | Paper |
| Some truths are best left unsaid | 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 |
| Coalition games over Kripke semantics: expressiveness and complexity | 2011-05-31 | Paper |
| Proving the decidability of the \(\mathrm{PDL}\times\mathrm{PDL}\) product logic | 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 |
| Modal Logics for Parallelism, Orthogonality, and Affine Geometries | 2009-11-30 | Paper |
| Dynamic logics of the region-based theory of discrete spaces | 2009-11-30 | Paper |
| Hyper arrow logic with indiscernibility and complementarity | 2009-11-11 | Paper |
| PDL with intersection of programs: a complete axiomatization | 2009-11-11 | Paper |
| Hyper arrow logic with indiscernibility and complementarity | 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 |
| Every world can see a Sahlqvist world | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509044 | 2008-07-01 | Paper |
| A modal logic for Pawlak's approximation spaces with rough cardinality \(n\) | 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 |
| Arrow logic with arbitrary intersections: applications to Pawlak's information systems | 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 |
| Iteration-free PDL with intersection: A complete axiomatization | 2001-11-07 | Paper |
| A relational model of movement | 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 |
