The following pages link to (Q4785458):
Displaying 8 items.
- Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
- Linear, branching time and joint closure semantics for temporal logic (Q1863748) (← links)
- Varieties (Q2074217) (← links)
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability (Q3442402) (← links)
- (Q4451651) (← links)
- (Q4925067) (← links)
- Algebraic Methodology and Software Technology (Q5312975) (← links)
- An algebraic study of tense logics with linear time (Q5537602) (← links)