| Publication | Date of Publication | Type |
|---|
Data-aware hybrid tableaux
Logical Methods in Computer Science | 2026-02-13 | Paper |
Uncertainty-based knowing how logic
Journal of Logic and Computation | 2025-10-15 | Paper |
| Uncertainty-based semantics for multi-agent knowing how logics | 2024-11-24 | Paper |
| The modal logics of the poison game | 2024-09-11 | Paper |
| First steps in updating knowing how | 2024-06-05 | Paper |
| How easy it is to know how: an upper bound for the satisfiability problem | 2024-05-29 | Paper |
| Data graphs with incomplete information (and a way to complete them) | 2024-05-29 | Paper |
| \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics | 2024-05-17 | Paper |
Algebraic tools for default modal systems
Journal Of Logic And Computation | 2024-02-08 | Paper |
Non-monotonic reasoning via dynamic consequence
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Deontic action logics via algebra | 2023-02-21 | Paper |
Copy and remove as dynamic operators
Journal of Applied Non-Classical Logics | 2022-03-03 | Paper |
An algebraic approach for action based default reasoning
(available as arXiv preprint) | 2021-12-20 | Paper |
| An algebraic approach for action based default reasoning | 2021-12-20 | Paper |
Relation-changing logics as fragments of hybrid logics
(available as arXiv preprint) | 2021-12-07 | Paper |
| Relation-changing logics as fragments of hybrid logics | 2021-12-07 | Paper |
| Default modal systems as algebraic updates | 2021-12-01 | Paper |
scientific article; zbMATH DE number 7407777 (Why is no real title available?)
(available as arXiv preprint) | 2021-10-08 | Paper |
| scientific article; zbMATH DE number 7407777 (Why is no real title available?) | 2021-10-08 | Paper |
| Symmetries in modal logics | 2021-06-08 | Paper |
The complexity of definability by open first-order formulas
Logic Journal of the IGPL | 2021-01-08 | Paper |
| The many logics of graph games | 2020-12-18 | Paper |
| A tableaux calculus for default intuitionistic logic | 2020-03-10 | Paper |
| Interpolation and Beth definability in default logics | 2020-02-18 | Paper |
Reasoning About Prescription and Description Using Prioritized Default Rules
EPiC Series in Computing | 2019-07-04 | Paper |
Satisfiability for relation-changing logics
Journal Of Logic And Computation | 2019-01-31 | Paper |
Relation-changing modal operators
Logic Journal of the IGPL | 2019-01-08 | Paper |
The lattice of congruences of a finite line frame
Journal Of Logic And Computation | 2018-11-20 | Paper |
The lattice of congruences of a finite line frame
Journal Of Logic And Computation | 2018-11-20 | Paper |
| Deciding open definability via subisomorphisms | 2018-10-18 | Paper |
| Undecidability of relation-changing modal logics | 2018-04-12 | Paper |
The modal logic of copy and remove
Information and Computation | 2017-09-04 | Paper |
Symmetries in modal logics
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
Hilbert-style axiomatization for hybrid XPath with data
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Unsorted functional translations
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Symmetric blocking
Theoretical Computer Science | 2015-12-08 | Paper |
Model theory of XPath on data trees. I: Bisimulation and characterization
Journal of Artificial Intelligence Research | 2015-08-25 | Paper |
Modal Satisfiability via SMT Solving
Software, Services, and Systems | 2015-06-22 | Paper |
Experiments in theorem proving for topological hybrid logic
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Swap logic
Logic Journal of the IGPL | 2015-02-27 | Paper |
Logics with Copy and Remove
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
Completeness in hybrid type theory
Journal of Philosophical Logic | 2014-12-18 | Paper |
Characterization, definability and separation via saturated models
Theoretical Computer Science | 2014-06-10 | Paper |
Dealing with Symmetries in Modal Tableaux
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Tableaux for relation-changing modal logics
Frontiers of Combining Systems | 2013-09-20 | Paper |
Galois connections in categorial type logic
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Moving Arrows and Four Model Checking Results
Logic, Language, Information and Computation | 2012-09-21 | Paper |
Completeness results for memory logics
Annals of Pure and Applied Logic | 2012-04-10 | Paper |
The expressive power of memory logics
The Review of Symbolic Logic | 2011-10-21 | Paper |
Combining theories: the Ackerman and guarded fragments
Frontiers of Combining Systems | 2011-10-07 | Paper |
Using logic in the generation of referring expressions
Logical Aspects of Computational Linguistics | 2011-07-01 | Paper |
| Reichenbach, Prior and Montague: a semantic get-together | 2011-06-21 | Paper |
Basic model theory for memory logics
Logic, Language, Information and Computation | 2011-05-27 | Paper |
Resolution with order and selection for hybrid logics
Journal of Automated Reasoning | 2011-04-05 | Paper |
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
Journal of Applied Logic | 2011-03-22 | Paper |
Modal Logics with Counting
Logic, Language, Information and Computation | 2010-09-29 | Paper |
Tableaux and model checking for memory logics
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Completeness Results for Memory Logics
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Expressive Power and Decidability for Memory Logics
Logic, Language, Information and Computation | 2008-07-10 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2196592 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2090297 (Why is no real title available?) | 2004-08-12 | Paper |
Analyzing the core of categorial grammar
Journal of Logic, Language and Information | 2004-08-06 | Paper |
Repairing the interpolation theorem in quantified modal logic
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
| scientific article; zbMATH DE number 1989644 (Why is no real title available?) | 2003-10-09 | Paper |
| scientific article; zbMATH DE number 1785000 (Why is no real title available?) | 2003-07-05 | Paper |
Bringing them all together
Journal of Logic and Computation | 2002-09-25 | Paper |
Resolution in modal, description and hybrid logic
Journal of Logic and Computation | 2002-07-28 | Paper |
Hybrid logics: Characterization, interpolation and complexity
The Journal of Symbolic Logic | 2002-04-30 | Paper |
| Characterization results for d-Horn formulas, or on formulas that are true on dual reduced products | 2002-02-28 | Paper |
Failure of interpolation in combined modal logics
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
The computational complexity of hybrid temporal logics
Logic Journal of the IGPL | 2001-05-02 | Paper |
| scientific article; zbMATH DE number 1424043 (Why is no real title available?) | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1341615 (Why is no real title available?) | 2000-02-17 | Paper |
