Pages that link to "Item:Q1398378"
From MaRDI portal
The following pages link to Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378):
Displaying 9 items.
- On temporal logic versus Datalog (Q1401358) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Bisimulation invariant monadic-second order logic in the finite (Q2182315) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- Bisimulation equivalence and regularity for real-time one-counter automata (Q2637644) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- Limiting Until in Ordered Tree Query Languages (Q5277915) (← links)