Switch to: References

Add citations

You must login to add citations.
  1. Preferential Semantics using Non-smooth Preference Relations.Frederik Van De Putte & Christian Straßer - 2014 - Journal of Philosophical Logic 43 (5):903-942.
    This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and elaborating on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.
    We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):125-148.
    This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ‘safe' to do so concerning the factual and conditional knowledge at hand. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modular Semantics for Theories: An Approach to Paraconsistent Reasoning.Holger Andreas - 2018 - Journal of Philosophical Logic 47 (5):877-912.
    Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation