Pages that link to "Item:Q1863908"
From MaRDI portal
The following pages link to Multi-dimensional modal logic as a framework for spatio-temporal reasoning (Q1863908):
Displayed 14 items.
- A qualitative spatial representation of string loops as holes (Q309906) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Building an Epistemic Logic for Argumentation (Q2915085) (← links)
- A PDL APPROACH FOR QUALITATIVE VELOCITY (Q3005946) (← links)
- Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility (Q3643154) (← links)
- Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)