Switch to: Citations

Add references

You must login to add references.
  1. Modal Logics for Qualitative Spatial Reasoning.Brandon Bennett - 1996 - Logic Journal of the IGPL 4 (1):23-45.
    Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate high-level qualitative spatial information in a flexible way would be extremely useful. Such capabilities can be proveded by logical calculi; and indeed 1st-order theories of certain spatial relations have been given [20]. But computing inferences in 1st-order logic is generally intractable unless special (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)Point, line, and surface, as sets of solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • 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.
    The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Spatial Logic Based on Regions and Connection.David Randell, Cui A., Cohn Zhan & G. Anthony - 1992 - KR 92:165--176.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • (1 other version)A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  • The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Download  
     
    Export citation  
     
    Bookmark   134 citations  
  • (1 other version)A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • First-Order Logics for Comparative Similarity.Timothy Williamson - 1988 - Notre Dame Journal of Formal Logic 29 (4):457-481.
    If we speak of degrees of similarity, what kinds of judgment are we assuming to make sense? It will be argued that the necessary and sufficient condition for there to be degrees of similarity is that there should be a four-termed relation of comparative similarity — w resembles x at least as much as y resembles z—obeying certain constraints. Of course, nothing turns on how we use the words 'degree of similarity'. Rather, the point is to distinguish the different levels (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)Point, Line, and Surface, as Sets of Solids.Theodore De Laguna - 1922 - Journal of Philosophy 19 (17):449 - 461.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • « Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.
    ABSTRACT The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely axiomatizable, has the f.m.p. and is determined by every connected separable metric space.
    Download  
     
    Export citation  
     
    Bookmark   25 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  
  • Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
    Download  
     
    Export citation  
     
    Bookmark   7 citations