Pages that link to "Item:Q5410337"
From MaRDI portal
The following pages link to A resolution calculus for the branching-time temporal logic CTL (Q5410337):
Displaying 6 items.
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- To be fair, use bundles (Q2408744) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- Ordered Resolution for Coalition Logic (Q3455769) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)
