Clare Dixon

Available identifiers

zbMath Open dixon.clareDBLPd/ClareDixonWikidataQ59564273 ScholiaQ59564273MaRDI QIDQ1383356

List of research outcomes

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	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}	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
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems	2022-11-04	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
Sublogics of a branching time logic of robustness	2019-05-02	Paper
Search strategies for resolution in temporal logics	2019-01-15	Paper
Theorem proving for metric temporal logic over the naturals	2017-09-22	Paper
: A Resolution-Based Prover for Multimodal K	2016-09-05	Paper
A Modal-Layered Resolution Calculus for K	2015-12-11	Paper
Ordered Resolution for Coalition Logic	2015-12-11	Paper
A resolution-based calculus for Coalition Logic	2015-01-12	Paper
Clausal Resolution for Modal Logics of Confluence	2014-09-26	Paper
A resolution calculus for the branching-time temporal logic CTL	2014-04-16	Paper
Temporal logics of knowledge and their applications in security	2013-12-13	Paper
CTL-RP: A computation tree logic resolution prover	2010-06-17	Paper
A Refined Resolution Calculus for CTL	2009-07-28	Paper
Anti-prenexing and Prenexing for Modal Logics	2008-10-30	Paper
Clausal resolution for normal modal logics	2007-11-30	Paper
Using temporal logics of knowledge for specification and verification -- a case study	2006-06-30	Paper
Temporal resolution using a breadth-first search algorithm	2000-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4952309	2000-05-09	Paper
Removing irrelevant information in temporal resolution proofs	1999-01-01	Paper

Research outcomes over time

This page was built for person: Clare Dixon