12 found
Order:
  1.  24
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  64
    A Tableau Decision Algorithm for Modalized ALC with Constant Domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.
    The aim of this paper is to construct a tableau decision algorithm for the modal description logic K ALC with constant domains. More precisely, we present a tableau procedure that is capable of deciding, given an ALC-formula with extra modal operators (which are applied only to concepts and TBox axioms, but not to roles), whether is satisfiable in a model with constant domains and arbitrary accessibility relations. Tableau-based algorithms have been shown to be practical even for logics of rather high (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  54
    First-Order Expressivity for S5-Models: Modal Vs. Two-Sorted Languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
    Standard models for model predicate logic consist of a Kripke frame whose worlds come equipped with relational structures. Both modal and two-sorted predicate logic are natural languages for speaking about such models. In this paper we compare their expressivity. We determine a fragment of the two-sorted language for which the modal language is expressively complete on S5-models. Decidable criteria for modal definability are presented.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  13
    The True Bisimulations for 'Since' and 'Until'.Holger Sturm - 2002 - Logic and Logical Philosophy 10:173.
    The aim of this paper is to establish a new notion of equivalencebetween temporal models, so-called S-similarity, as the appropriate notionof bisimilarity for temporal logic with Since and Until. The main technicalresults of the paper provide semantical characterizations of the first-orderformulas that are equivalent to a temporal formula: Theorem 3.7 concernsthe equivalence of temporal and first-order formulas with respect to pointedtemporal models, whereas Theorem 4.4 takes the level of temporal modelsinto account.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  63
    Elementary Classes in Basic Modal Logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
    Dealing with topics of definability, this paper provides some interesting insights into the expressive power of basic modal logic. After some preliminary work it presents an abstract algebraic characterization of the elementary classes of basic modal logic, that is, of the classes of models that are definable by means of (sets of) basic modal formulas. Taking that for a start, the paper further contains characterization results for modal universal classes and modal positive classes.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  21
    Hume über kausale Kräfte und Sätze.Holger Sturm - 2015 - Archiv für Geschichte der Philosophie 97 (2).
    Name der Zeitschrift: Archiv für Geschichte der Philosophie Jahrgang: 97 Heft: 2 Seiten: 234-260.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  24
    Modal Horn Classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
    This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal Horn formulas as well as a preservation result for modal universal Horn formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  18
    Interpolation and Preservation in ${\Cal M\Kern-1pt L}{\Omega1}$.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
    In this paper we deal with the logic ${\cal M\kern-1pt L}_{\omega_1}$ which is the infinitary extension of propositional modal logic that has conjunctions and disjunctions only for countable sets of formulas. After introducing some basic concepts and tools from modal logic, we modify Makkai's generalization of the notion of consistency property to make it fit for modal purposes. Using this construction as a universal instrument, we prove, among other things, interpolation for ${\cal M\kern-1pt L}_{\omega_1}$ as well as preservation results for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    Wozu Tatsachen?Holger Sturm - 2011 - Deutsche Zeitschrift für Philosophie 59 (3):466-471.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  4
    Interpolation and Preservation In.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
    In this paper we deal with the logic which is the infinitary extension of propositional modal logic that has conjunctions and disjunctions only for countable sets of formulas. After introducing some basic concepts and tools from modal logic, we modify Makkai's generalization of the notion of consistency property to make it fit for modal purposes. Using this construction as a universal instrument, we prove, among other things, interpolation for as well as preservation results for universal, existential, and positive -formulas.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  22
    Brandoms Expressive Vernunft. Historische und Systematische Untersuchungen.Christian Barth & Holger Sturm (eds.) - 2012 - Mentis.
  12. Von Rang Und Namen. Philosophical Essays in Honour of Wolfgang Spohn (Edited Book).Wolfgang Freitag, Hans Rott, Holger Sturm & Alexandra Zinke (eds.) - 2016 - Münster, Germany: Mentis.
    This collection includes twenty original philosophical essays in honour of Wolfgang Spohn. The contributions mirror the scope of Wolfgang Spohn’s work. They address topics from epistemology (e.g., the theory of ranking functions, belief revision, and the nature of knowledge and belief), philosophy of science (e.g., causation, induction, and laws of nature), the philosophy of language (e.g., the theory of meaning and the semantics of counterfactuals), and the philosophy of mind (e.g., intentionality and free will), as well as problems of ontology, (...)
     
    Export citation  
     
    Bookmark