| Publication | Date of Publication | Type |
|---|
| A proof system for finite trees | 2024-06-21 | Paper |
| An axiom system for basic hybrid logic with propositional quantifiers | 2024-02-28 | Paper |
| Formalizing a Seligman-style tableau system for hybrid logic (short paper) | 2022-11-09 | Paper |
| Exorcising the phantom zone | 2022-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141774 | 2020-12-18 | Paper |
| Rigid first-order hybrid logic | 2020-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636041 | 2018-04-23 | Paper |
| Completeness and termination for a Seligman-style tableau system | 2017-05-17 | Paper |
| Arthur Prior and `now' | 2017-03-14 | Paper |
| Reichenbach, Prior and hybrid tense logic | 2017-03-14 | Paper |
| Second-Order False-Belief Tasks: Analysis and Formalization | 2016-09-09 | Paper |
| Henkin and Hybrid Logic | 2015-11-27 | Paper |
| Experiments in Theorem Proving for Topological Hybrid Logic | 2015-03-23 | Paper |
| Completeness in hybrid type theory | 2014-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419876 | 2014-06-11 | Paper |
| A Seligman-Style Tableau System | 2014-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007241 | 2011-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3587572 | 2010-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571951 | 2010-06-29 | Paper |
| PDL for ordered trees | 2009-11-30 | Paper |
| Termination for Hybrid Tableaus | 2007-12-12 | Paper |
| Arthur Prior and hybrid logic | 2006-12-20 | Paper |
| Constructive interpolation in hybrid logic | 2005-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736477 | 2004-08-09 | Paper |
| Repairing the interpolation theorem in quantified modal logic | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434354 | 2003-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412850 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530725 | 2002-11-13 | Paper |
| Bringing them all together | 2002-09-25 | Paper |
| Discipline as logic: Treating labels as first class citizens | 2002-09-09 | Paper |
| Remarks on Gregory's ``actually operator | 2002-08-20 | Paper |
| Hybrid logics: Characterization, interpolation and complexity | 2002-04-30 | Paper |
| Modal logic as dialogical logic | 2001-10-14 | Paper |
| Modal logic | 2001-09-18 | Paper |
| The computational complexity of hybrid temporal logics | 2001-05-02 | Paper |
| Representation, reasoning, and relational structures: a hybrid logic manifesto | 2001-03-07 | Paper |
| Internalizing labelled deduction | 2001-01-23 | Paper |
| Editorial: Alan Turing and artificial intelligence | 2001-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518426 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945233 | 2000-08-23 | Paper |
| Hybridizing concept languages | 1999-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215593 | 1999-04-27 | Paper |
| Hybrid languages and temporal logic | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394917 | 1999-03-02 | Paper |
| Hybrid completeness | 1999-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370232 | 1998-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362889 | 1997-12-14 | Paper |
| Why combine logics? | 1997-10-26 | Paper |
| Zooming in, zooming out | 1997-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691490 | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691491 | 1997-04-21 | Paper |
| Dynamic squares | 1996-07-24 | Paper |
| Hybrid languages | 1996-03-17 | Paper |
| Editors' introduction to the special issue on combining logics | 1996-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4833769 | 1995-05-23 | Paper |
| Linguistics, Logic and Finite Trees | 1995-01-02 | Paper |
| A modal perspective on the computational complexity of attribute value grammar | 1994-02-22 | Paper |
| Nominal tense logic | 1993-12-06 | Paper |
