- Modal Logics for Qualitative Spatial Reasoning.Brandon Bennett - 1996 - Logic Journal of the IGPL 4 (1):23-45.details
|
|
(1 other version)Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets are Diophantine. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.details
|
|
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse.J. F. A. K. van Benthem - 1984 - Journal of Philosophical Logic 13 (3):235-248.details
|
|
(1 other version)Point, line, and surface, as sets of solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.details
|
|
The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse.Johan van Benthem - 1991 - Boston: Kluwer Academic Publishers.details
|
|
A Spatial Logic Based on Regions and Connection.David Randell, Cui A., Cohn Zhan & G. Anthony - 1992 - KR 92:165--176.details
|
|
(1 other version)A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.details
|
|
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details
|
|
(1 other version)A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.details
|
|
First-Order Logics for Comparative Similarity.Timothy Williamson - 1988 - Notre Dame Journal of Formal Logic 29 (4):457-481.details
|
|
(1 other version)Point, Line, and Surface, as Sets of Solids.Theodore De Laguna - 1922 - Journal of Philosophy 19 (17):449 - 461.details
|
|
« Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.details
|
|
A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.details
|
|
Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.details
|
|