The following pages link to Clare Dixon (Q1383356):
Displaying 29 items.
- Temporal resolution using a breadth-first search algorithm (Q1383357) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}'' (Q2102952) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Theorem proving for metric temporal logic over the naturals (Q2405259) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- A resolution-based calculus for Coalition Logic (Q2937697) (← links)
- Clausal Resolution for Modal Logics of Confluence (Q3192202) (← links)
- Ordered Resolution for Coalition Logic (Q3455769) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- Anti-prenexing and Prenexing for Modal Logics (Q3533143) (← links)
- CTL-RP: A computation tree logic resolution prover (Q3568224) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)
- (Q4952309) (← links)
- Modal Resolution (Q4972162) (← links)
- (Q4994892) (← links)
- Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems (Q5045457) (← links)
- A Refined Resolution Calculus for CTL (Q5191106) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- Clausal resolution for normal modal logics (Q5429559) (← links)
- Correction to: ``Parameterized verification of leader/follower systems via first-order temporal logic'' (Q6102169) (← links)
