Switch to: References

Add citations

You must login to add citations.
  1. Adaptive Logics for Defeasible Reasoning.Christian Straßer - 2014 - Springer.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Nástin koncepce adaptivních logik [An Outline of the Concept of Adaptive Logics].Tomáš Ondráček & Jan Štěpánek - 2016 - Pro-Fil 17 (1):16-35.
    The aim of the paper is to introduce the concept of adaptive logics (AL) or rather adaptive logical approach. In the introduction, a motivation and an emergence of AL are briefly discussed. In the second part of the paper, specifics of AL are analysed – especially nonmonotonic character, internal and external dynamics, as well as the structure of AL, namely the distinction between upper limit logic and lower limit logic. In this part, the dynamic proof is also described. Applications of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations