Switch to: References

Add citations

You must login to add citations.
  1. Two-Phase Deontic Logic.Leendert Van der Torre & Yao-Hua Tan - 2000 - Logique Et Analyse 43 (171–172):411-456.
  • Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
    We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations, and is faithful to standard methods of drawing conclusions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Obligation as Optimal Goal Satisfaction.Robert Kowalski & Ken Satoh - 2018 - Journal of Philosophical Logic 47 (4):579-609.
    Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O. In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark