Pages that link to "Item:Q2500472"
From MaRDI portal
The following pages link to \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472):
Displaying 5 items.
- A clausal resolution method for branching-time logic \(\text{ECTL}^+\) (Q862827) (← links)
- Arity hierarchy for temporal logics (Q944387) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)
- Buy one, get one free!!! (Q4895547) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897789) (← links)