10 found
Sort by:
  1. Christian Barth & Holger Sturm (eds.) (2012). Brandoms Expressive Vernunft. Historische und Systematische Untersuchungen. Mentis.
  2. Holger Sturm (2011). Wozu Tatsachen? Deutsche Zeitschrift für Philosophie 59 (3):466-471.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Holger Sturm (2004). The True Bisimulations for 'Since' and 'Until'. Logic and Logical Philosophy 10:173.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (2002). Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12 (3-4):425-439.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev (2002). A Tableau Decision Algorithm for Modalized ALC with Constant Domains. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Holger Sturm & Frank Wolter (2001). First-Order Expressivity for S5-Models: Modal Vs. Two-Sorted Languages. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  7. Holger Sturm (2000). Elementary Classes in Basic Modal Logic. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Holger Sturm (2000). Modal Horn Classes. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Holger Sturm (1998). Interpolation and Preservation in ${\Cal M\Kern-1pt L}{\Omega1}$. Notre Dame Journal of Formal Logic 39 (2):190-211.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Holger Sturm (1998). Interpolation and Preservation In. 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 (4 more)  
     
    My bibliography  
     
    Export citation