Switch to: References

Add citations

You must login to add citations.
  1. Confini. Dove finisce una cosa e inizia un’altra.Achille C. Varzi - 2007 - In Andrea Bottani & Richard Davies (eds.), Ontologie regionali. Mimesis. pp. 209–222.
    Ci imbattiamo in un confine ogni volta che pensiamo a un’entità demarcata rispetto a ciò che la circonda. C’è un confine (una superficie) che delimita l’interno di una sfera dal suo esterno; c’è un confine (una frontiera) che separa il Maryland dalla Pennsylvania. Talvolta la collocazione esatta di un confine non è chiara o è in qualche modo controversa (come quando si cerchi di tracciare i limiti del monte Everest, o il confine del nostro corpo). Talaltra il confine non corrisponde (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
    The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...)
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Purism: The Inconceivability of Inconsistency within Space as the Basis of Logic.* Primus - 2019 - Dialogue 62 (1):1-24.
    I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude that (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.
    We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Reasoning about Space: The Hole Story.Achille C. Varzi - 1996 - Logic and Logical Philosophy 4:3-39.
    This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The Structure of Spatial Localization.Roberto Casati & Achille Varzi - 1996 - Philosophical Studies 82 (2):205 - 239.
    What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • A constructivist perspective on physics.Peter Fletcher - 2002 - Philosophia Mathematica 10 (1):26-42.
    This paper examines the problem of extending the programme of mathematical constructivism to applied mathematics. I am not concerned with the question of whether conventional mathematical physics makes essential use of the principle of excluded middle, but rather with the more fundamental question of whether the concept of physical infinity is constructively intelligible. I consider two kinds of physical infinity: a countably infinite constellation of stars and the infinitely divisible space-time continuum. I argue (contrary to Hellman) that these do not. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Mereotopological Connection.Anthony G. Cohn & Achille C. Varzi - 2003 - Journal of Philosophical Logic 32 (4):357-390.
    The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • 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.
    Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.
    Download  
     
    Export citation  
     
    Bookmark  
  • Stonian p-ortholattices: A new approach to the mereotopology RT 0.Torsten Hahmann, Michael Winter & Michael Gruninger - 2009 - Artificial Intelligence 173 (15):1424-1440.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith (eds.) - 1984 - Hamburg: Graduiertenkolleg Kognitionswissenschaft.
    A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • 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.
    I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Indivisible Parts and Extended Objects.Dean W. Zimmerman - 1996 - The Monist 79 (1):148-180.
    Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Perché i buchi sono importanti. Problemi di rappresentazione spaziale.Roberto Casati & Achille C. Varzi - 1997 - Sapere 63 (2):38–43.
    The methodological anarchy that characterizes much recent research in artificial intelligence and other cognitive sciences has brought into existence (sometimes resumed) a large variety of entities from a correspondingly large variety of (sometimes dubious) ontological categories. Recent work in spatial representation and reasoning is particularly indicative of this trend. Our aim in this paper is to suggest some ways of reconciling such a luxurious proliferation of entities with the sheer sobriety of good philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Whitehead, in his famous book Process and Reality, proposed a definition of point assuming the concepts of "region" and "connection relation" as primitive. Several years after and independently Grzegorczyk, in a brief but very interesting paper, proposed another definition of point in a system in which the inclusion relation and the relation of being separated were assumed as primitive. In this paper we compare their definitions and we show that, under rather natural assumptions, they coincide.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.
    In this paper a solution of Whitehead’s problem is presented: Starting with a purely mereological system of regions a topological space is constructed such that the class of regions is isomorphic to the Boolean lattice of regular open sets of that space. This construction may be considered as a generalized completion in analogy to the well-known Dedekind completion of the rational numbers yielding the real numbers . The argument of the paper relies on the theories of continuous lattices and “pointless” (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Whitehead and Russell on points.David Bostock - 2010 - Philosophia Mathematica 18 (1):1-52.
    This paper considers the attempts put forward by A.N. Whitehead and by Bertrand Russell to ‘construct’ points (and temporal instants) from what they regard as the more basic concept of extended ‘regions’. It is shown how what they each say themselves will not do, and how it should be filled out and amended so that the ‘construction’ may be regarded as successful. Finally there is a brief discussion of whether this ‘construction’ is worth pursuing, or whether it is better—as in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Boundary.Achille C. Varzi - 2013 - Stanford Encyclopedia of Philosophy.
    We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Towards a rough mereology-based logic for approximate solution synthesis. Part.Jan Komorowski, Lech Polkowski & Andrzej Skowron - 1997 - Studia Logica 58 (1):143-184.
    We are concerned with formal models of reasoning under uncertainty. Many approaches to this problem are known in the literature e.g. Dempster-Shafer theory [29], [42], bayesian-based reasoning [21], [29], belief networks [29], many-valued logics and fuzzy logics [6], non-monotonic logics [29], neural network logics [14]. We propose rough mereology developed by the last two authors [22-25] as a foundation for approximate reasoning about complex objects. Our notion of a complex object includes, among others, proofs understood as schemes constructed in order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • La Possibilité de Contact.Olivier Massin - 2008 - Swiss Philosophical Preprints.
    Deux choses sont en contact s'il n'y a rien entre elles (ni volume, ni ligne, ni point) et qu'elles ne se chevauchent pas (en un volume, un ligne ou un point). Le contact est la limite de proximité des choses : si deux choses sont en contact, deux autres choses ne peuvent être pas être plus près l'une de l'autre sans se pénétrer.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Mereotopology of Time.Claudio Mazzola - 2019 - Notre Dame Journal of Formal Logic 60 (2):215-252.
    Mereotopology is the discipline obtained from combining topology with the formal study of parts and their relation to wholes, or mereology. This article develops a mereotopological theory of time, illustrating how different temporal topologies can be effectively discriminated on this basis. Specifically, we demonstrate how the three principal types of temporal models—namely, the linear ones, the forking ones, and the circular ones—can be characterized by differently combining two sole mereotopological constraints: one to denote the absence of closed loops, and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Applications and limits of mereology. From the theory of parts to the theory of wholes.Massimo Libardi - 1994 - Axiomathes 5 (1):13-54.
    The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Paradoxes.Piotr Łukowski - 2011 - Dordrecht and New York: Springer.
    This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: 1. Providing systematic and historical survey of different approaches – solutions of the most prominent paradoxes discussed in the logical and philosophical literature. 2. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox. 3. Explaining the far-reaching significance of paradoxes of vagueness and change for philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Defining Measures in a Mereological Space.Giuseppina Barbieri & Giangiacomo Gerla - forthcoming - Logic and Logical Philosophy:1.
    We explore the notion of a measure in a mereological structure and we deal with the difficulties arising. We show that measure theory on connection spaces is closely related to measure theory on the class of ortholattices and we present an approach akin to Dempster’s and Shafer’s. Finally, the paper contains some suggestions for further research.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead’s method of extensive abstraction provides a construction of objects that are fundamental (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Boolean connection algebras: A new approach to the Region-Connection Calculus.J. G. Stell - 2000 - Artificial Intelligence 122 (1-2):111-136.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • A complete axiom system for polygonal mereotopology of the real plane.Ian Pratt & Dominik Schoop - 1998 - Journal of Philosophical Logic 27 (6):621-658.
    This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A first order predicate language ℒ with a distinguished unary predicate c(x), function-symbols +, · and - and constants 0 and 1 is defined. An interpretation ℜ for ℒ is provided in which polygonal open subsets of the real plane serve as elements of the domain. Under this interpretation the predicate c(x) is read as 'region x is connected' and the function-symbols and (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Inconsistent boundaries.Zach Weber & A. J. Cotnoir - 2015 - Synthese 192 (5):1267-1294.
    Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Special Issue on Point-Free Geometry and Topology.Cristina Coppola & Giangiacomo Gerla - 2013 - Logic and Logical Philosophy 22 (2):139-143.
    In the first section we briefly describe methodological assumptions of point-free geometry and topology. We also outline history of geometrical theories based on the notion of emph{region}. The second section is devoted to concise presentation of the content of the LLP special issue on point-free theories of space.
    Download  
     
    Export citation  
     
    Bookmark  
  • Full mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
    We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Expressivity in polygonal, plane mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.
    In recent years, there has been renewed interest in the development of formal languages for describing mereological (part-whole) and topological relationships between objects in space. Typically, the non-logical primitives of these languages are properties and relations such as `x is connected' or `x is a part of y', and the entities over which their variables range are, accordingly, not points, but regions: spatial entities other than regions are admitted, if at all, only as logical constructs of regions. This paper considers (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Generalized Region Connection Calculus.Sanjiang Li & Mingsheng Ying - 2004 - Artificial Intelligence 160 (1-2):1-34.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Relational Representation Theorems for Extended Contact Algebras.Philippe Balbiani & Tatyana Ivanova - 2020 - Studia Logica 109 (4):701-723.
    In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between point-free (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mereotopology without Mereology.Peter Forrest - 2010 - Journal of Philosophical Logic 39 (3):229-254.
    Mereotopology is that branch of the theory of regions concerned with topological properties such as connectedness. It is usually developed by considering the parthood relation that characterizes the, perhaps non-classical, mereology of Space (or Spacetime, or a substance filling Space or Spacetime) and then considering an extra primitive relation. My preferred choice of mereotopological primitive is interior parthood . This choice will have the advantage that filters may be defined with respect to it, constructing “points”, as Peter Roeper has done (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.
    A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topological relations and functions taking these subsets as arguments. Thus, topological constraint languages typically allow us to make assertions such as “region V1 touches the boundary of region V2”, “region V3 is connected” or “region V4 is a proper part of the closure of region V5”. A formula f in a topological constraint language is said to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.
    A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
    A region-based model of physical space is one in which the primitive spatial entities are regions, rather than points, and in which the primitive spatial relations take regions, rather than points, as their relata. Historically, the most intensively investigated region-based models are those whose primitive relations are topological in character; and the study of the topology of physical space from a region-based perspective has come to be called mereotopology. This paper concentrates on a mereotopological formalism originally introduced by Whitehead, which (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Introduction.Liliana Albertazzi & Massimo Libardi - 1994 - Axiomathes 5 (1):5-11.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Ontologies for Plane, Polygonal Mereotopology.Ian Pratt & Oliver Lemon - 1997 - Notre Dame Journal of Formal Logic 38 (2):225-245.
    Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotopological reasoning in two-dimensional space. Our strategy is to define a mereotopological language together with a familiar, point-based interpretation. It is proposed that, to be practically useful, any alternative region-based spatial ontology must support the same sentences in our language (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Comment on Rcc: From Rcc to Rcc++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319-352.
    The Region Connection Calculus (RCC theory) is a well-known spatial representation of topological relations between regions. It claims that the connection relation is primitive in the spatial domain. We argue that the connection relation is indeed primitive to the spatial relations, although in RCC theory there is no room for distance relations. We first analyze some aspects of the RCC theory, e.g. the two axioms in the RCC theory are not strong enough to govern the connection relation, regions in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.
    Although the computational properties of the Region Connection Calculus RCC-8 are well studied, reasoning with RCC-8 entails several representational problems. This includes the problem of representing arbitrary spatial regions in a computational framework, leading to the problem of generating a realization of a consistent set of RCC-8 constraints. A further problem is that RCC-8 performs reasoning about topological space, which does not have a particular dimension. Most applications of spatial reasoning, however, deal with two- or three-dimensional space. Therefore, a consistent (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Reasoning about visibility.Roger Villemaire & Sylvain Hallé - 2012 - Journal of Applied Logic 10 (2):163-178.
    Download  
     
    Export citation  
     
    Bookmark