The following pages link to (Q3395959):
Displayed 12 items.
- Decentralised LTL monitoring (Q346789) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- A compositional automata-based semantics and preserving transformation rules for testing property patterns (Q493531) (← links)
- On regular temporal logics with past (Q977176) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) (Q2029608) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Expressiveness of Hybrid Temporal Logic on Data Words (Q2825412) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- (Q5232899) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)