Pages that link to "Item:Q1854353"
From MaRDI portal
The following pages link to An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic (Q1854353):
Displaying 15 items.
- A note on the characterization of TL [EF] (Q845961) (← links)
- Invariance under stuttering in a temporal logic of actions (Q859839) (← links)
- A note on the expressibility problem for modal logics and star-free regular expressions (Q987808) (← links)
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- On the expressive power of hybrid branching-time logics (Q1989342) (← links)
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- Taming past LTL and flat counter systems (Q2346416) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Metric Temporal Logic with Counting (Q2811351) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- Path Checking for MTL and TPTL over Data Words (Q3451113) (← links)
- Adequate Sets of Temporal Connectives in CTL (Q4917081) (← links)
- Limiting Until in Ordered Tree Query Languages (Q5277915) (← links)
- (Q5376664) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
