- Dynamic logics of the region-based theory of discrete spaces.Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov - 2007 - Journal of Applied Non-Classical Logics 17 (1):39-61.details
|
|
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.details
|
|
Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.details
|
|
Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.details
|
|
The impossibility of temporal relations between non-identical times: new arguments for presentism.Jeffrey Grupp - 2005 - Disputatio 1 (18):1-35.details
|
|
Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.details
|
|
The origins of telicity.Manfred Krifka - manuscriptdetails
|
|
Boundary.Achille C. Varzi - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Basic Problems of Mereotopology.Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 29–38.details
|
|
Applications and limits of mereology. From the theory of parts to the theory of wholes.Massimo Libardi - 1994 - Axiomathes 5 (1):13-54.details
|
|
Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.details
|
|
Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.details
|
|
The impossibility of relations between non-collocated spatial objects and non-identical topological spaces.Jeffrey Grupp - 2005 - Axiomathes 15 (1):85-141.details
|
|
Mereotopological Connection.Anthony G. Cohn & Achille C. Varzi - 2003 - Journal of Philosophical Logic 32 (4):357-390.details
|
|
Relational Representation Theorems for Extended Contact Algebras.Philippe Balbiani & Tatyana Ivanova - 2020 - Studia Logica 109 (4):701-723.details
|
|
Indeterminate Propositions in Prior Analytics I.41.Marko Malink - 2009 - History of Philosophy & Logical Analysis 12 (1):165-189.details
|
|
The fundamental: Ungrounded or all-grounding?Stephan Leuenberger - 2020 - Philosophical Studies 177 (9):2647-2669.details
|
|
Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith (eds.) - 1984 - Hamburg: Graduiertenkolleg Kognitionswissenschaft.details
|
|
Reasoning about visibility.Roger Villemaire & Sylvain Hallé - 2012 - Journal of Applied Logic 10 (2):163-178.details
|
|
Indefinite Divisibility.Jeffrey Sanford Russell - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (3):239-263.details
|
|
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.details
|
|
Whitehead and Russell on points.David Bostock - 2010 - Philosophia Mathematica 18 (1):1-52.details
|
|
The Structure of Spatial Localization.Roberto Casati & Achille Varzi - 1996 - Philosophical Studies 82 (2):205 - 239.details
|
|
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.details
|
|
Philosophy and Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium (Kirchberg Am Wechsel, Austria 1993).Roberto Casati & Barry Smith (eds.) - 1994 - Vienna: Wien: Hölder-Pichler-Tempsky.details
|
|
Paradoxes.Piotr Łukowski - 2011 - Dordrecht and New York: Springer.details
|
|
Extension and Self-Connection.Ben Blumson & Manikaran Singh - 2021 - Logic and Logical Philosophy 30 (3):435-59.details
|
|
The Mereotopology of Time.Claudio Mazzola - 2019 - Notre Dame Journal of Formal Logic 60 (2):215-252.details
|
|
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.details
|
|
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.details
|
|
Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points.Rafał Gruszczyński - 2024 - Bulletin of the Section of Logic 53 (1):63-104.details
|
|
Defining Measures in a Mereological Space.Giuseppina Barbieri & Giangiacomo Gerla - forthcoming - Logic and Logical Philosophy:1.details
|
|
CODI: A multidimensional theory of mereotopology with closure operations.Torsten Hahmann - 2020 - Applied ontology 15 (3):251-311.details
|
|
Whitehead’s principle.Ben Blumson & Manikaran Singh - 2020 - Thought: A Journal of Philosophy 9 (2):115-27.details
|
|
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.details
|
|
A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.details
|
|
Mereology on Topological and Convergence Spaces.Daniel R. Patten - 2013 - Notre Dame Journal of Formal Logic 54 (1):21-31.details
|
|
(1 other version)Expressivity in polygonal, plane mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.details
|
|
A Proximity Approach to Some Region-Based Theories of Space.Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):527-559.details
|
|
Finitely inseparable first-order axiomatized mereotopological theories.Hsing-Chien Tsai - 2013 - Logic and Logical Philosophy 22 (3):347-363.details
|
|
Boolean connection algebras: A new approach to the Region-Connection Calculus.J. G. Stell - 2000 - Artificial Intelligence 122 (1-2):111-136.details
|
|
An Axiomatic Reconstruction of the Basic Categories in Process Philosophy.Sebastian Siemoleit & Heinrich Herre - 2020 - Axiomathes 30 (2):107-147.details
|
|
A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.details
|
|
(1 other version)Expressivity in polygonal, plane mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.details
|
|
The Naive Topology of the Conscious Subject.Rory Madden - 2012 - Noûs 49 (1):55-70.details
|
|
Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point.Loredana Biacino & Giangiacomo Gerla - 1996 - Notre Dame Journal of Formal Logic 37 (3):431-439.details
|
|
Generalized Region Connection Calculus.Sanjiang Li & Mingsheng Ying - 2004 - Artificial Intelligence 160 (1-2):1-34.details
|
|
A Calculus of Regions Respecting Both Measure and Topology.Tamar Lando & Dana Scott - 2019 - Journal of Philosophical Logic 48 (5):825-850.details
|
|
Spatial reasoning with RCC 8 and connectedness constraints in Euclidean spaces.Roman Kontchakov, Ian Pratt-Hartmann & Michael Zakharyaschev - 2014 - Artificial Intelligence 217 (C):43-75.details
|
|
Ontology and the logistic analysis of reality.Barry Smith - 1993 - In Nicola Guarino & Roberto Poli (eds.), Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation. Italian National Research Council. pp. 51-68.details
|
|