Pages that link to "Item:Q1989347"

The following pages link to Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347):

Displaying 2 items.

• Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models (Q2095426) (← links)
• One-pass Context-based Tableaux Systems for CTL and ECTL (Q6060101) (← links)