The following pages link to (Q4472440):
Displaying 11 items.
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Linear, branching time and joint closure semantics for temporal logic (Q1863748) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- Linear time Datalog and branching time logic (Q2734948) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability (Q3442402) (← links)
- (Q3757893) (← links)
- (Q4475142) (← links)
- Decidable temporal and sequential relevant logics* (Q4612410) (← links)