purposes on condition that (1) this copyright notice is included, (2) proper attribution to the author or authors is made and (3) no commercial gain is involved.
|
318
|
Model Theory
– Chang, Keisler
- 1973
|
|
212
|
Introduction to Mathematical Logic
– Mendelson
- 1997
|
|
187
|
Representations of Commonsense Knowledge
– Davis
- 1990
|
|
175
|
Modeling spatial knowledge
– Kuipers
- 1978
|
|
166
|
Temporal Logic
– Rescher, Urquhart
- 1971
|
|
103
|
Two-dimensional modal logic
– Segerberg
- 1973
|
|
87
|
Toward a Geometry of Common Sense: a semantics and a complete axiomatization of mereotopology
– Asher, Vieu
- 1995
|
|
76
|
A calculus of individuals based on `connection
– Clarke
- 1981
|
|
67
|
An interval-based representation of temporal knowledge
– Allen
- 1981
|
|
67
|
A pointless theory of space based on strong connection and congruence
– Borgo, Guarino, et al.
- 1996
|
|
65
|
Graph Theory: An Introductory Course
– Bollobás
- 1979
|
|
65
|
Individuals and points. Notre Dame
– Clarke
- 1985
|
|
61
|
Representing and Acquiring Geographic Knowledge
– Davis
- 1986
|
|
55
|
1929] Process and Reality
– WHITEHEAD
- 1962
|
|
45
|
A connection based approach to common-sense topological description and reasoning
– Gotts, Gooday, et al.
- 1996
|
|
40
|
Default Reasoning about Spatial Occupancy
– Shanahan
- 1995
|
|
39
|
Holes and other superficialities
– Casati, Varzi
- 1994
|
|
35
|
A complete axiom system for polygonal mereotopology of the real plane
– Pratt, Schoop
- 1998
|
|
35
|
Foundations of the geometry of solids
– Tarski
- 1956
|
|
29
|
The structure of spatial localization
– Casati, Varzi
- 1995
|
|
24
|
Formal semantics of visual languages using spatial reasoning
– Haarslev
- 1995
|
|
18
|
Semantical Foundations of Spatial Logics
– Lemon
- 1996
|
|
16
|
On the incompleteness of modal logics of space: advancing complete modal logics of place
– Lemon, Pratt
- 1998
|
|
15
|
A logical framework for reasoning about space
– Vieu
- 1993
|
|
13
|
Souad Hadjres. Using local information in a non-local way for mapping graphlike worlds
– Dudek, Freedman
- 1993
|
|
12
|
A modal logic of place
– Wright
- 1979
|
|
9
|
Map Semantics
– Pratt
- 1993
|
|
7
|
editors. The Axiomatic Method, with Special Reference to Geometry and Physics
– Henkin, Suppes, et al.
- 1959
|
|
6
|
Spatial Reasoning in a Holey World
– Varzi
- 1993
|
|
5
|
Farinas del Cerro, Tinko Tinchev, and Dimiter Vakarelov. Geometrical Structures and Modal Logic
– Balbiani, Luis
- 1996
|
|
5
|
Modal Logics of Domains on
– Shehtman
- 1983
|
|
4
|
A Deductive Theory of Space and Time
– Basri
- 1966
|
|
4
|
Temporal Logic, volume 3 of Library of Exact Philosophy
– Rescher, Urquhart
- 1971
|
|
3
|
Introduction to Symbolic Logic and its Appplications
– Carnap
- 1958
|
|
2
|
Mathematics of Modality. CSLI lecture notes 43
– Goldblatt
- 1993
|
|
2
|
Review of "Logic and Visual Information" by
– Lemon
- 1997
|
|
2
|
Incomplete Spatial Logics: on the foundations of computational geography
– Lemon, Pratt
- 1996
|
|
2
|
Putting Channels on the Map: imperfect information flow in a formal semantics of (geo)graphical information systems
– Lemon, Pratt
- 1996
|
