Pages that link to "Item:Q4421285"
From MaRDI portal
The following pages link to A clausal resolution method for CTL branching-time temporal logic (Q4421285):
Displayed 10 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- A clausal resolution method for branching-time logic \(\text{ECTL}^+\) (Q862827) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Alternating automata and temporal logic normal forms (Q2488275) (← links)
- A clausal resolution method for extended computation tree logic ECTL (Q2495388) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- A Refined Resolution Calculus for CTL (Q5191106) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)