7 search results - page 1 / 2 » A clausal resolution method for branching-time logic ECTL |
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
TIME
2003
IEEE
13 years 10 months ago
2003
IEEE
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
DIS
2007
Springer
13 years 11 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...