Modal Logics for Region-based Theories of Space

Authors:
Philippe Balbiani;Tinko Tinchev;Dimiter Vakarelov
Affiliations:
Institut de recherche en informatique de Toulouse, Université Paul Sabatier, 118 route de Narbonne, F-31062 Toulouse, Cedex 9, France. E-mail: balbiani@irit.fr;Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd, 1164 Sofia, Bulgaria. E-mail: {tinko,dvak}@fmi.uni-sofia.bg;Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd, 1164 Sofia, Bulgaria. E-mail: {tinko,dvak}@fmi.uni-sofia.bg
Venue:
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Year:
2007

Citing 13
Cited 2

Semi-metrics, closure spaces and digital topology

Selected papers of the workshop on Topology and completion in semantics
Boolean connection algebras: a new approach to the Region-Connection Calculus

Artificial Intelligence
Modal logic

Modal logic
A note on proximity spaces and connection based mereology

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
The Mereotopology of Discrete Space

COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A representation theorem for Boolean contact algebras

Theoretical Computer Science
Combining spatial and temporal logics: expressiveness vs. complexity

Journal of Artificial Intelligence Research
Generalized Region Connection Calculus

Artificial Intelligence
Topological representation of precontact algebras

RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Topological representation of contact lattices

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Contact Algebras and Region-based Theory of Space: Proximity Approach - II

Fundamenta Informaticae
Iteration-free PDL with Intersection: a Complete Axiomatization

Fundamenta Informaticae
Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning

A System of Relational Syllogistic Incorporating Full Boolean Reasoning

Journal of Logic, Language and Information
Topological Logics with Connectedness over Euclidean Spaces

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We dedicate this paper to Professor Andrzej Grzegorczyk. His paper "Axiomatization of geometry without points" [20] is one of the first contributions to the region-based theory of space.