Pages that link to "Item:Q705066"
From MaRDI portal
The following pages link to Nesting until and since in linear temporal logic (Q705066):
Displaying 10 items.
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic (Q1854353) (← links)
- Temporal logic and semidirect products: An effective characterization of the until hierarchy (Q2784480) (← links)
- A Language-Theoretical Approach to Descriptive Complexity (Q2817376) (← links)
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848) (← links)
- WEAKLY ITERATED BLOCK PRODUCTS AND APPLICATIONS TO LOGIC AND COMPLEXITY (Q3561125) (← links)
- Regular Languages Definable by Majority Quantifiers with Two Variables (Q3637216) (← links)
- Expressiveness for Highly Nested Expressions in Linear Temporal Logic (Q4304494) (← links)
- (Q4736862) (← links)
- Limiting Until in Ordered Tree Query Languages (Q5277915) (← links)
- Unary and two-variable interval logics (Q6601763) (← links)