Concepedia

Modal logics for region-based theories of space

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov

HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 43 citations · 26 references

Concepts

Abstract

International audience

References

26

A Spatial Logic based on Regions and Connection.

David Randell, Zhanfeng Cui, Anthony G. Cohn · 1992 · 1.9K citations

, , +11

Point-set topological spatial relations

Max J. Egenhofer, Robert Franzosa · International Journal of Geographical Information Systems · 1991 · 1.7K citations · Full text

, , +13

Qualitative Spatial Representation and Reasoning: An Overview

Anthony G. Cohn, Shyamanta M. Hazarika · 2001 · 677 citations

, , +16

The calculus of individuals and its uses

Henry S. Leonard, Nelson Goodman · Journal of Symbolic Logic · 1940 · 552 citations

, , +7

A calculus of individuals based on ``connection''.

Bowman L. Clarke · Notre Dame Journal of Formal Logic · 1981 · 399 citations · Full text

, , +10