Switch to: References

Add citations

You must login to add citations.
  1. Jerzy Kalinowski’s Logic of Normative Sentences Revisited.Robert Trypuz & Piotr Kulicki - 2015 - Studia Logica 103 (2):389-412.
    The paper tackles two problems. The first one is to grasp the real meaning of Jerzy Kalinowski’s theory of normative sentences. His formal system K 1 is a simple logic formulated in a very limited language . While presenting it Kalinowski formulated a few interesting philosophical remarks on norms and actions. He did not, however, possess the tools to formalise them fully. We propose a formulation of Kalinowski’s ideas with the use of a set-theoretical frame similar to the one presented (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Connecting Actions and States in Deontic Logic.Piotr Kulicki & Robert Trypuz - 2017 - Studia Logica 105 (5):915-942.
    This paper tackles the problem of inference in normative systems where norms concerning actions and states of affairs appear together. A deontic logic of actions and states is proposed as a solution. It is made up of two independent deontic logics, namely a deontic logic of action and a deontic logic of states, interlinked by bridging definitions. It is shown at a language and a model level how an agent should look for norms to follow in a concrete situation. It (...)
    Download  
     
    Export citation  
     
    Bookmark   2 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation