| Publication | Date of Publication | Type |
|---|
Logical connectives for two-state semantics
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
On timeline-based games and their complexity
Theoretical Computer Science | 2020-04-06 | Paper |
A prover dealing with nominals, binders, transitivity and relation hierarchies
Journal of Automated Reasoning | 2020-03-03 | Paper |
Hintikka multiplicities in matrix decision methods for some propositional modal logics
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Temporal abductive reasoning about biochemical reactions
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Planning and execution with flexible timelines: a formal account
Acta Informatica | 2016-10-21 | Paper |
Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders
Journal of Automated Reasoning | 2016-05-26 | Paper |
A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
Journal of Automated Reasoning | 2015-06-23 | Paper |
Extended decision procedure for a fragment of HL with binders
Journal of Automated Reasoning | 2015-06-23 | Paper |
A proof procedure for hybrid logic with binders, transitivity and relation hierarchies
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
| Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies | 2012-10-21 | Paper |
| Nominal substitution at work with the global and converse modalities | 2012-08-05 | Paper |
An efficient approach to nominal equalities in hybrid logic tableaux
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
Lecture Notes in Computer Science | 2011-07-01 | Paper |
Herod and Pilate: two tableau provers for basic hybrid logic
Automated Reasoning | 2010-09-14 | Paper |
AI*IA 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Abduction and consequence generation in a support system for the design of logical multiple-choice questions
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Linear temporal logic as an executable semantics for planning languages
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 1950267 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1950254 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1765667 (Why is no real title available?) | 2002-07-10 | Paper |
Ground and free-variable tableaux for variants of quantified modal logics
Studia Logica | 2002-05-27 | Paper |
| Labelled tableaux for propositional linear time logic over finite frames | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1612550 (Why is no real title available?) | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1405444 (Why is no real title available?) | 2000-07-05 | Paper |
| scientific article; zbMATH DE number 1302385 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1189100 (Why is no real title available?) | 1998-08-13 | Paper |
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4
Logic Journal of the IGPL | 1997-06-02 | Paper |
| scientific article; zbMATH DE number 877749 (Why is no real title available?) | 1996-05-12 | Paper |
| scientific article; zbMATH DE number 834571 (Why is no real title available?) | 1996-02-13 | Paper |
Herbrand style proof procedures for modal logic
Journal of Applied Non-Classical Logics | 1994-09-26 | Paper |
First order abduction via tableau and sequent calculi
Logic Journal of the IGPL | 1994-06-22 | Paper |
| scientific article; zbMATH DE number 67854 (Why is no real title available?) | 1992-09-27 | Paper |
Resolution for some first-order modal systems
Theoretical Computer Science | 1992-06-26 | Paper |
A Modal Herbrand's Property
Mathematical Logic Quarterly | 1986-01-01 | Paper |
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
Information Processing Letters | 1986-01-01 | Paper |
