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
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
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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Clare Dixon