Using temporal logic for spatial reasoning: temporalized propositional neighborhood logic

Authors:
Antonio Morales;Isabel Navarrete;Guido Sciavicco
Affiliations:
Dept. of Information Engineering and Communications, Faculty of Informatics, University of Murcia, Espinardo, Murcia, Spain;Dept. of Information Engineering and Communications, Faculty of Informatics, University of Murcia, Espinardo, Murcia, Spain;Dept. of Information Engineering and Communications, Faculty of Informatics, University of Murcia, Espinardo, Murcia, Spain
Venue:
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Year:
2007

Citing 3
Cited 0

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Applied Intelligence
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
An optimal Tableau-based decision algorithm for propositional neighborhood logic

STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we develop a new modal logic for spatial reasoning called Temporalized Propositional Neighborhood Logic, which is the result of the application of a known technique called temporalization to a known temporal logic for spatial reasoning (PNL). We will show that our logic is expressive enough to formalize interesting spatial statements and that it is decidable in NEXPTIME.