- Introduction to Geometry. [REVIEW]Howard Levi - 1963 - Journal of Philosophy 60 (1):19-21.details
|
|
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning.Isabelle Bloch - 2002 - Journal of Applied Non-Classical Logics 12 (3):399-423.details
|
|
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.details
|
|
The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.details
|
|
The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - Journal of Applied Non-Classical Logics 8 (3):259-281.details
|
|
Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.details
|
|
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.details
|
|
Tarski’s Influence on Computer Science.Solomon Feferman - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 391-404.details
|
|
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-459.details
|
|
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-459.details
|
|
Concepts of space.Max Jammer - 1954 - Cambridge, Mass.,: Harvard University Press.details
|
|
The completeness of elementary algebra and geometry.Alfred Tarski - 1967 - Paris,: Centre national de la recherche scientifique, Institut Blaise Pascal.details
|
|
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.details
|
|
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.details
|
|
Alfred Tarski. The completeness of elementary algebra and geometry. Centre National de la Recherche Scientifique, Institut Blaise Pascal, Paris1967, iv + 50 pp. [REVIEW]Alonzo Church - 1969 - Journal of Symbolic Logic 34 (2):302-302.details
|
|
Der Aussagenkalkul und die Topologie.Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (1):26-27.details
|
|
Modal logics of domains on the real plane.V. B. Shehtman - 1983 - Studia Logica 42 (1):63-80.details
|
|
« Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.details
|
|
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.details
|
|
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.details
|
|
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details
|
|
Model theory: Geometrical and set-theoretic aspects and prospects.Angus Macintyre - 2003 - Bulletin of Symbolic Logic 9 (2):197-212.details
|
|
Concepts of Space: The History of Theories of Space in Physics. Max Jammer. Foreword by Albert Einstein. Cambridge: Harvard University Press, 1954. Pp. xvi, 196. $3.75.Edward Rosen - 1956 - Philosophy of Science 23 (2):160-162.details
|
|
Concepts of space: the history of theories of space in physics.Max Jammer - 1969 - New York: Dover Publications.details
|
|
Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.details
|
|
An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics.Martin Serastian Gerson - 1975 - Studia Logica 34 (4):333-342.details
|
|
Foundations of Geometery.David Hilbert & Paul Bernays - 1971 - Open Court.details
|
|
Handbook of Spatial Logics.Marco Aiello, Ian Pratt-Hartmann & Johan van Benthem (eds.) - 2007 - Springer Verlag.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|