| Publication | Date of Publication | Type |
|---|
| Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic | 2024-04-26 | Paper |
| Local is best: efficient reductions to modal logic \textsf{K} | 2022-12-12 | Paper |
| Correction to: ``Local is best: efficient reductions to modal logic \textsf{K} | 2022-12-12 | Paper |
| Local reductions for the modal cube | 2022-12-07 | Paper |
| Efficient local reductions to basic modal logic | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994892 | 2021-06-22 | Paper |
| Theorem proving for pointwise metric temporal logic over the naturals via translations | 2021-02-17 | Paper |
| \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments | 2020-03-03 | Paper |
| Modal Resolution | 2019-11-22 | Paper |
| Theorem proving for metric temporal logic over the naturals | 2017-09-22 | Paper |
| The axiomatic translation principle for modal logic | 2017-07-12 | Paper |
| : A Resolution-Based Prover for Multimodal K | 2016-09-05 | Paper |
| Ordered Resolution for Coalition Logic | 2015-12-11 | Paper |
| A Modal-Layered Resolution Calculus for K | 2015-12-11 | Paper |
| A resolution-based calculus for Coalition Logic | 2015-01-12 | Paper |
| A resolution calculus for the branching-time temporal logic CTL | 2014-04-16 | Paper |
| First-Order Resolution Methods for Modal Logics | 2013-04-19 | Paper |
| Computational Space Efficiency and Minimal Model Generation for Guarded Formulae | 2011-05-06 | Paper |
| Implementing a fair monodic temporal logic prover | 2010-06-17 | Paper |
| CTL-RP: A computation tree logic resolution prover | 2010-06-17 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| A Refined Resolution Calculus for CTL | 2009-07-28 | Paper |
| Fair Derivations in Monodic Temporal Reasoning | 2009-07-28 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Automated Reasoning About Metric and Topology | 2008-10-30 | Paper |
| Deciding expressive description logics in the framework of resolution | 2008-05-19 | Paper |
| Reasoning in description logics by a reduction to disjunctive datalog | 2007-12-03 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Interactions between knowledge, action and commitment within agent dynamic logic | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809060 | 2004-08-12 | Paper |
| An empirical analysis of modal theorem provers | 2004-01-13 | Paper |
| Hyperresolution for guarded formulae | 2003-08-25 | Paper |
| Using resolution for testing modal satisfiability and building models | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329239 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751044 | 2001-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751377 | 2001-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723441 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721185 | 2001-07-01 | Paper |
| Resolution-based methods for modal logics | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503911 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263163 | 2000-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838813 | 1998-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688814 | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867027 | 1996-06-27 | Paper |
