| Publication | Date of Publication | Type |
|---|
The true futures (edit)
Synthese | 2026-03-31 | Paper |
| A tableau system for first-order logic with standard names | 2026-02-10 | Paper |
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Bulletin of the Section of Logic | 2024-02-29 | Paper |
An axiom system for basic hybrid logic with propositional quantifiers
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
Incorrect responses in first-order false-belief tests: a hybrid-logical formalization
Logic and Logical Philosophy | 2021-08-17 | Paper |
A model of intuitionistic affine logic from stable domain theory
Automata, Languages and Programming | 2019-04-29 | Paper |
Many-valued hybrid logic
Journal Of Logic And Computation | 2019-01-31 | Paper |
Book review of: W. Conradie and V. Goranko, Logic and discrete mathematics. A concise introduction
Studia Logica | 2018-08-06 | 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 |
Second-order false-belief tasks: analysis and formalization
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
Journal of Logic, Language and Information | 2015-02-27 | Paper |
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
Journal of Logic, Language and Information | 2015-02-27 | Paper |
First-order hybrid logic: introduction and survey
Logic Journal of the IGPL | 2015-02-12 | Paper |
A Seligman-Style Tableau System
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Intuitionistic hybrid logic: introduction and survey
Information and Computation | 2012-03-13 | Paper |
| Many-valued hybrid logic | 2011-03-30 | Paper |
Hybrid logic and its proof-theory
Applied Logic Series | 2010-09-16 | Paper |
Why does the proof-theory of hybrid logic work so well?
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Adding Intensional Machinery to Hybrid Logic
Journal Of Logic And Computation | 2008-08-15 | Paper |
Tableau-based Decision Procedures for Hybrid Logic
Journal Of Logic And Computation | 2007-04-13 | Paper |
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
Journal of Logic, Language and Information | 2006-11-17 | Paper |
Intuitionistic hybrid logic
Journal of Applied Logic | 2006-10-10 | Paper |
Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
Studia Logica | 2006-03-17 | Paper |
| scientific article; zbMATH DE number 2196584 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2185709 (Why is no real title available?) | 2005-07-04 | Paper |
Natural deduction for first-order hybrid logic
Journal of Logic, Language and Information | 2005-05-13 | Paper |
Natural Deduction for Hybrid Logic
Journal Of Logic And Computation | 2004-10-15 | Paper |
| scientific article; zbMATH DE number 2079016 (Why is no real title available?) | 2004-07-21 | Paper |
Two natural deduction systems for hybrid logic: A comparison
Journal of Logic, Language and Information | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 1989646 (Why is no real title available?) | 2003-10-09 | Paper |
Modal logic, truth, and the master modality.
Journal of Philosophical Logic | 2003-03-06 | Paper |
A cut-free Gentzen formulation of the modal logic S5
Logic Journal of the IGPL | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1444731 (Why is no real title available?) | 2000-10-08 | Paper |
| scientific article; zbMATH DE number 1476491 (Why is no real title available?) | 2000-07-14 | Paper |
| scientific article; zbMATH DE number 1223617 (Why is no real title available?) | 1999-04-19 | Paper |
| scientific article; zbMATH DE number 1222706 (Why is no real title available?) | 1999-03-02 | Paper |
| scientific article; zbMATH DE number 1183237 (Why is no real title available?) | 1998-12-10 | Paper |
A general adequacy result for a linear functional language
Theoretical Computer Science | 1998-07-23 | Paper |
