Switch to: References

Citations of:

A norm-giver meets deontic action logic

Robert Trypuz & Piotr Kulicki

Logic and Logical Philosophy 20 (1-2):2011 (2011)

Add citations

You must login to add citations.

Completely and partially executable sequences of actions in deontic context.Robert Trypuz & Piotr Kulicki - 2015 - Synthese 192 (4):1117-1138.details 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
Obligation, free choice, and the logic of weakest permissions.Albert J. J. Anglberger, Nobert Gratzl & Olivier Roy - 2015 - Review of Symbolic Logic 8 (4):807-827.details We introduce a new understanding of deontic modals that we callobligations as weakest permissions. We argue for its philosophical plausibility, study its expressive power in neighborhood models, provide a complete Hilbert-style axiom system for it and show that it can be extended and applied to practical norms in decision and game theory. Download Export citation Bookmark 11 citations
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details 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 ... Download Export citation Bookmark 2 citations
Two Faces of Obligation.Piotr Kulicki & Robert Trypuz - 2013 - In Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.details In the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished–abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations. Download Export citation Bookmark

1