Pages that link to "Item:Q862827"

The following pages link to A clausal resolution method for branching-time logic \(\text{ECTL}^+\) (Q862827):

Displaying 8 items.

• Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347) (← links)
• To be fair, use bundles (Q2408744) (← links)
• A clausal resolution method for extended computation tree logic ECTL (Q2495388) (← links)
• One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
• (Q4412853) (← links)
• (Q4941896) (← links)
• A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
• On the expressive power of the normal form for branching-time temporal logics (Q6659914) (← links)