The following pages link to (Q4417820):
Displaying 8 items.
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics (Q2269133) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- On repairing and querying inconsistent probabilistic spatio-temporal databases (Q2406905) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Ode to the PST (Q5256333) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
