Switch to: References

Add citations

You must login to add citations.
  1. Line-based affine reasoning in Euclidean plane.Philippe Balbiani & Tinko Tinchev - 2007 - Journal of Applied Logic 5 (3):421-434.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
    We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Location ontologies based on mereotopological pluralism.Bahar Aameri & Michael Grüninger - 2020 - Applied ontology 15 (2):135-184.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Towards an ontology for generative design of mechanical assemblies.Bahar Aameri, Hyunmin Cheong & J. Christopher Beck - 2019 - Applied ontology 14 (2):127-153.
    Download  
     
    Export citation  
     
    Bookmark   1 citation