Switch to: Citations

Add references

You must login to add references.
  1. Computing Strong and Weak Permissions in Defeasible Logic.Guido Governatori, Francesco Olivieri, Antonino Rotolo & Simone Scannapieco - 2013 - Journal of Philosophical Logic 42 (6):799-829.
    In this paper we propose an extension of Defeasible Logic to represent and compute different concepts of defeasible permission. In particular, we discuss some types of explicit permissive norms that work as exceptions to opposite obligations or encode permissive rights. Moreover, we show how strong permissions can be represented both with, and without introducing a new consequence relation for inferring conclusions from explicit permissive norms. Finally, we illustrate how a preference operator applicable to contrary-to-duty obligations can be combined with a (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A Defeasible Logic For Modelling Policy-based Intentions And Motivational Attitudes.Guido Governatori, Vineet Padmanabhan, Antonio Rotolo & Abdul Sattar - 2009 - Logic Journal of the IGPL 17 (3):227-265.
    In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitation comes into play, i.e., ⊢A/⊢ □A, that is from ⊢A derive ⊢ □A. This means that such formalisms are affected by the Logical Omniscience problem. We show that policy-based intentions exhibit non-monotonic behaviour which could be captured through a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations.Guido Governatori & Antonino Rotolo - 2006 - Australasian Journal of Logic 4:193-215.
    In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.
    Download  
     
    Export citation  
     
    Bookmark   13 citations