Switch to: References

Add citations

You must login to add citations.
  1. Norm-system revision: theory and application. [REVIEW]Audun Stolpe - 2010 - Artificial Intelligence and Law 18 (3):247-283.
    This paper generalises classical revision theory of the AGM brand to sets of norms. This is achieved substituting input/output logic for classical logic and tracking the changes. Operations of derogation and amendment—analogues of contraction and revision—are defined and characterised, and the precise relationship between contraction and derogation, on the one hand, and derogation and amendment on the other, is established. It is argued that the notion of derogation, in particular, is a very important analytical tool, and that even core deontic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Completely and partially executable sequences of actions in deontic context.Robert Trypuz & Piotr Kulicki - 2015 - Synthese 192 (4):1117-1138.
    The paper offers a logical characterisation of multi-step actions in the context of deontic notions of obligation, permission and prohibition. Deontic notions for sequentially composed actions are founded on deontic notions for one-step actions. The present work includes a formal study of situations where execution of a multi-step action has been unsuccessful and provides normative analysis of such actions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
    Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations