A graph-based approach to resolution in temporal logic
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 415-429
- https://doi.org/10.1007/bfb0014002
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A decision method for linear temporal logicPublished by Springer Nature ,2006
- A resolution calculus for modal logicsPublished by Springer Nature ,2005
- Nonclausal deduction in first-order temporal logicJournal of the ACM, 1990
- Gentzen-type systems and resolution rules part I propositional logicLecture Notes in Computer Science, 1990
- MetateM: A framework for programming in temporal logicPublished by Springer Nature ,1990
- Modal resolution in clausal formTheoretical Computer Science, 1989
- Automata-theoretic techniques for modal logics of programsJournal of Computer and System Sciences, 1986
- A decision method for temporal logic based on resolutionPublished by Springer Nature ,1985
- Temporal logic can be more expressiveInformation and Control, 1983