- Execution and Proof in a HornClause Temporal Logic Clare Dixon 1 , Michael Fisher 1 and Mark Reynolds 2
- ResolutionBased Proof for MultiModal Temporal Logics of Clare Dixon and Michael Fisher
- Guiding Clausal Temporal Resolution Michael Fisher and Clare Dixon
- Resolution in a Logic of Rational Agency Clare Dixon, Michael Fisher and Alexander Bolotov 1
- Mechanising FirstOrder Temporal Resolution Boris Konev a;1 Anatoli Degtyarev b Clare Dixon a Michael Fisher a
- Miss Scarlett in the Ballroom with the Lead Piping Clare Dixon 1
- Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall
- Veri cation within the KARO Agent Theory ? Ullrich Hustadt 1 , Clare Dixon 1 , Renate A. Schmidt 2 , Michael Fisher 1 ,
- Clausal Resolution for CTL ? Alexander Bolotov, Clare Dixon and Michael Fisher
- Specifying and Verifying the Game Cluedo using Temporal Logics of Knowledge
- Synchronous {clare,claudia,michael}@csc.liv.ac.uk http://www.csc.liv.ac.uk/#{clare,claudia,michael} Tableaux
- Using Otter for Temporal Resolution ? Clare Dixon
- On the Relationship between !-Automata and Temporal Logic Normal Forms
- Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
- Implementation FirstOrder
- A TableauBased Proof Method for Temporal Logics of Knowledge and Belief \Lambda
- Temporal Resolution: Removing Irrelevant Information \Lambda Clare Dixon
- Search Strategies for Resolution in Temporal Clare Dixon
- Temporal Resolution: A BreadthFirst Search Approach \Lambda Clare Dixon
- Towards the Implementation of FirstOrder Temporal Resolution: the Expanding Domain Case
- Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule
- A ResolutionBased Proof Method for Temporal Logics of Knowledge and Belief ?
- Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
- Removing Irrelevant Information in Temporal Resolution Clare Dixon
- Parallel Temporal Resolution Clare Dixon
- Anti-Prenexing and Prenexing for Modal Logics (Extended Version)
- Normal Forms and Proofs in Combined Modal and Temporal Logics
- Resolution for Temporal Logics of Knowledge Clare Dixon, Michael Fisher Michael Wooldridge
- Tableaux for Temporal Logics of Knowledge: Synchronous Systems of
- Reasoning about agents in the KARO framework U. Hustadt 1 , C. Dixon 1 , R. A. Schmidt 2 , M. Fisher 1 , J.J. Meyer 3 , and W. van der Hoek 3
- An Algorithm for Guiding Temporal Resolution ? M. Carmen Fernandez Gago, Michael Fisher, and Clare Dixon
- Baltzer Journals Temporal Resolution using a Breadth-First Search
- Towards the Implementation of First-Order Temporal Resolution
