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):
Displaying 21 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)
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← 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)
- (Q4877439) (← links)
- Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)
- A note on the modal and temporal logics for \(n\)-dimensional spacetime (Q5937837) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)
- Logics for order-of-magnitude qualitative reasoning: formalizing negligibility (Q6599614) (← links)
- Analysis of spatio-temporal properties of stochastic systems using TSTL (Q6600061) (← links)
