Switch to: Citations

Add references

You must login to add references.
  1. Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.
    Download  
     
    Export citation  
     
    Bookmark   6 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   55 citations  
  • On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus.Jochen Renz & Bernhard Nebel - 1999 - Artificial Intelligence 108 (1-2):69-123.
    Download  
     
    Export citation  
     
    Bookmark   35 citations