The following pages link to CTL-RP (Q37006):
Displayed 4 items.
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- Satisfiability Games for Branching-Time Logics (Q2851673) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)