| Publication | Date of Publication | Type |
|---|
| Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic | 2024-04-26 | Paper |
Correction to: ``Parameterized verification of leader/follower systems via first-order temporal logic
Formal Methods in System Design | 2023-05-08 | Paper |
| Theorem proving using clausal resolution: from past to present | 2023-03-31 | Paper |
Local is best: efficient reductions to modal logic \textsf{K}
Journal of Automated Reasoning | 2022-12-12 | Paper |
Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}
Journal of Automated Reasoning | 2022-12-12 | Paper |
| Local reductions for the modal cube | 2022-12-07 | Paper |
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
Lecture Notes in Computer Science | 2022-11-04 | Paper |
| Efficient local reductions to basic modal logic | 2021-12-01 | Paper |
| A resolution prover for coalition logic | 2021-06-22 | Paper |
A resolution prover for coalition logic
(available as arXiv preprint) | 2021-06-22 | Paper |
Theorem proving for pointwise metric temporal logic over the naturals via translations
Journal of Automated Reasoning | 2021-02-17 | Paper |
\(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
Journal of Automated Reasoning | 2020-03-03 | Paper |
Modal Resolution
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Sublogics of a branching time logic of robustness
Information and Computation | 2019-05-02 | Paper |
Search strategies for resolution in temporal logics
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
| Theorem proving for metric temporal logic over the naturals | 2017-09-22 | Paper |
\({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
Automated Reasoning | 2016-09-05 | Paper |
A Modal-Layered Resolution Calculus for K
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Ordered resolution for coalition logic
Lecture Notes in Computer Science | 2015-12-11 | Paper |
A resolution-based calculus for coalition logic
Journal Of Logic And Computation | 2015-01-12 | Paper |
Clausal resolution for modal logics of confluence
Automated Reasoning | 2014-09-26 | Paper |
A resolution calculus for the branching-time temporal logic CTL
ACM Transactions on Computational Logic | 2014-04-16 | Paper |
Temporal logics of knowledge and their applications in security
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
CTL-RP: A computation tree logic resolution prover
AI Communications | 2010-06-17 | Paper |
A Refined Resolution Calculus for CTL
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Anti-prenexing and Prenexing for Modal Logics
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Clausal resolution for normal modal logics
Journal of Algorithms | 2007-11-30 | Paper |
Using temporal logics of knowledge for specification and verification -- a case study
Journal of Applied Logic | 2006-06-30 | Paper |
Temporal resolution using a breadth-first search algorithm
Annals of Mathematics and Artificial Intelligence | 2000-09-10 | Paper |
| scientific article; zbMATH DE number 1444729 (Why is no real title available?) | 2000-05-09 | Paper |
Removing irrelevant information in temporal resolution proofs
Journal of Experimental & Theoretical Artificial Intelligence | 1999-01-01 | Paper |
