Multi-dimensional modal logic as a framework for spatio-temporal reasoning
DOI10.1023/A:1020083231504zbMATH Open1051.03019OpenAlexW1539708367MaRDI QIDQ1863908
Brandon Bennett, Anthony G. Cohn, F. Wolter, Michael Zakharyaschev
Publication date: 12 March 2003
Published in: Applied Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1020083231504
complexitydecidabilitymodal logicknowledge representationspatio-temporal reasoningmulti-dimensional logic
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)
Cited In (20)
- A multiprocess network logic with temporal and spatial modalities
- Model checking dynamic memory allocation in operating systems
- Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
- Title not available (Why is that?)
- An automata-theoretic approach to constraint LTL
- Reasoning about sequences of memory states
- Building an Epistemic Logic for Argumentation
- Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- A qualitative spatial representation of string loops as holes
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- A PDL APPROACH FOR QUALITATIVE VELOCITY
- Linear and affine logics with temporal, spatial and epistemic operators
- An NP-complete fragment of fibring logic
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Generalization of some properties of relations in the context of functional temporal×modal logic
- On the axiomatizability of some first-order spatio-temporal theories
- A spatial logic with time and quantifiers
- A note on the modal and temporal logics for \(n\)-dimensional spacetime
This page was built for publication: Multi-dimensional modal logic as a framework for spatio-temporal reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1863908)
