| 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
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
| Formalizing a Seligman-style tableau system for hybrid logic (short paper) | 2022-11-09 | Paper |
Exorcising the phantom zone
Information and Computation | 2022-06-13 | Paper |
| Interaction and the Marcan formula | 2020-12-18 | Paper |
| Rigid first-order hybrid logic | 2020-03-04 | Paper |
| Synthetic completeness proofs for Seligman-style tableau systems | 2018-04-23 | Paper |
Completeness and termination for a Seligman-style tableau system
Journal Of Logic And Computation | 2017-05-17 | Paper |
Arthur Prior and `now'
Synthese | 2017-03-14 | Paper |
Reichenbach, Prior and hybrid tense logic
Synthese | 2017-03-14 | Paper |
Second-order false-belief tasks: analysis and formalization
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Henkin and hybrid logic
Studies in Universal Logic | 2015-11-27 | Paper |
Experiments in theorem proving for topological hybrid logic
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Completeness in hybrid type theory
Journal of Philosophical Logic | 2014-12-18 | Paper |
| Indexical hybrid tense logic | 2014-06-11 | Paper |
A Seligman-Style Tableau System
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Reichenbach, Prior and Montague: a semantic get-together | 2011-06-21 | Paper |
| Learn Prolog now! Translated by Hélène Manuélian. | 2010-09-08 | Paper |
| Learn Prolog now! | 2010-06-29 | Paper |
PDL for ordered trees
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Termination for Hybrid Tableaus
Journal Of Logic And Computation | 2007-12-12 | Paper |
Arthur Prior and hybrid logic
Synthese | 2006-12-20 | Paper |
Constructive interpolation in hybrid logic
Journal of Symbolic Logic | 2005-02-09 | Paper |
Constructive interpolation in hybrid logic
Journal of Symbolic Logic | 2005-02-09 | Paper |
| scientific article; zbMATH DE number 2085243 (Why is no real title available?) | 2004-08-09 | Paper |
Repairing the interpolation theorem in quantified modal logic
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
| scientific article; zbMATH DE number 2001367 (Why is no real title available?) | 2003-11-06 | Paper |
| scientific article; zbMATH DE number 1950252 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1749139 (Why is no real title available?) | 2002-11-13 | Paper |
Bringing them all together
Journal of Logic and Computation | 2002-09-25 | Paper |
| Discipline as logic: Treating labels as first class citizens | 2002-09-09 | Paper |
Remarks on Gregory's ``actually operator
Journal of Philosophical Logic | 2002-08-20 | Paper |
Hybrid logics: Characterization, interpolation and complexity
The Journal of Symbolic Logic | 2002-04-30 | Paper |
Modal logic as dialogical logic
Synthese | 2001-10-14 | Paper |
Modal logic
Cambridge Tracts in Theoretical Computer Science | 2001-09-18 | Paper |
The computational complexity of hybrid temporal logics
Logic Journal of the IGPL | 2001-05-02 | Paper |
Representation, reasoning, and relational structures: a hybrid logic manifesto
Logic Journal of the IGPL | 2001-03-07 | Paper |
Internalizing labelled deduction
Journal Of Logic And Computation | 2001-01-23 | Paper |
Editorial: Alan Turing and artificial intelligence
Journal of Logic, Language and Information | 2001-01-15 | Paper |
| scientific article; zbMATH DE number 1536558 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1424043 (Why is no real title available?) | 2000-08-23 | Paper |
Hybridizing concept languages
Annals of Mathematics and Artificial Intelligence | 1999-08-23 | Paper |
| scientific article; zbMATH DE number 1215461 (Why is no real title available?) | 1999-04-27 | Paper |
Hybrid languages and temporal logic
Logic Journal of the IGPL | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1163388 (Why is no real title available?) | 1999-03-02 | Paper |
Hybrid completeness
Logic Journal of the IGPL | 1999-01-19 | Paper |
| scientific article; zbMATH DE number 1104358 (Why is no real title available?) | 1998-02-02 | Paper |
| scientific article; zbMATH DE number 1086639 (Why is no real title available?) | 1997-12-14 | Paper |
Why combine logics?
Studia Logica | 1997-10-26 | Paper |
Zooming in, zooming out
Journal of Logic, Language and Information | 1997-06-16 | Paper |
| scientific article; zbMATH DE number 972579 (Why is no real title available?) | 1997-04-21 | Paper |
| scientific article; zbMATH DE number 972580 (Why is no real title available?) | 1997-04-21 | Paper |
Dynamic squares
Journal of Philosophical Logic | 1996-07-24 | Paper |
Hybrid languages
Journal of Logic, Language and Information | 1996-03-17 | Paper |
Editors' introduction to the special issue on combining logics
Notre Dame Journal of Formal Logic | 1996-01-01 | Paper |
| scientific article; zbMATH DE number 757637 (Why is no real title available?) | 1995-05-23 | Paper |
Linguistics, Logic and Finite Trees
Logic Journal of the IGPL | 1995-01-02 | Paper |
A modal perspective on the computational complexity of attribute value grammar
Journal of Logic, Language and Information | 1994-02-22 | Paper |
Nominal tense logic
Notre Dame Journal of Formal Logic | 1993-12-06 | Paper |
