10 found
Order:
  1.  44
    Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
    In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  22
    Axiomatizing Distance Logics.Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):425-439.
    In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  1
    New Semantics for Modal Predicate Logics.Oliver Kutz - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences Ii. Kluwer Academic Publishers. pp. 151--162.
  4. Modularity in Ontologies.Oliver Kutz & Joana Hois - 2012 - Applied Ontology 7 (2):109-112.
  5.  43
    Ontological Modelling of Form and Function for Architectural Design.Mehul Bhatt, Joana Hois & Oliver Kutz - 2012 - Applied Ontology 7 (3):233-267.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. The Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht & Oliver Kutz - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 299-320.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  7. Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018).Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.) - 2018 - IOS Press.
    No categories
     
    Export citation  
     
    Bookmark  
  8. Formal Ontology in Information Systems. Proceedings of the Eighth International Conference.Pawel Garbacz & Oliver Kutz (eds.) - 2014 - IOS Press.
     
    Export citation  
     
    Bookmark  
  9. CEUR Workshop Proceedings Vol-812.Janna Hastings, Oliver Kutz, Mehul Bhatt & Stefano Borgo (eds.) - 2011 - Editors.
    No categories
     
    Export citation  
     
    Bookmark  
  10. CEUR Workshop Procecedings Vol-1007.Oliver Kutz, Mehul Bhatt, Stefano Borgo & Paulo Santos (eds.) - 2013
     
    Export citation  
     
    Bookmark