The following pages link to (Q4941896):
Displaying 6 items.
- A tableau-based decision procedure for CTL\(^*\) (Q432138) (← links)
- A clausal resolution method for branching-time logic \(\text{ECTL}^+\) (Q862827) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- A clausal resolution method for extended computation tree logic ECTL (Q2495388) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- Clausal temporal resolution (Q5738910) (← links)