Completely and partially executable sequences of actions in deontic context

DOI10.1007/S11229-014-0604-1zbMath1357.03054OpenAlexW2036732727WikidataQ59407038 ScholiaQ59407038MaRDI QIDQ513930

Piotr Kulicki, Robert Trypuz

Publication date: 8 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-014-0604-1

zbMATH Keywords

deontic action logiclogic of proceduressequential composition of actionssuccessful and unsuccessful actions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Connecting actions and states in deontic logic

Cites Work

• Unnamed Item
• Unnamed Item
• A dynamic deontic logic for complex contracts
• Concurrent Kleene algebra and its foundations
• Action negation and alternative reductions for dynamic deontic logics
• A deontic logic of action
• Blueprint for a dynamic deontic logic
• Deontic action logic, atomic Boolean algebras and fault-tolerance
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A logic of intention and attempt
• Propositional dynamic logic of regular programs
• Free choice and contextually permitted actions
• Krister Segerberg on logic of actions
• The paradoxes of permission an action based solution
• A Deontic Action Logic for Complex Actions
• A Deontic Action Logic with Sequential Composition of Actions
• On deontic action logics based on Boolean algebra
• The dynamic logic of permission
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• An axiomatic basis for computer programming

This page was built for publication: Completely and partially executable sequences of actions in deontic context