A deontic action logic with sequential composition of actions

DOI10.1007/978-3-642-31570-1_13MaRDI QIDQ3167604zbMATH OpenOpenAlexFDO

Authors Piotr Kulicki, Robert Trypuz

Publication date 2 November 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31570-1_13

zbMATH Keywords

deontic action logicsequential composition of actionsnon-terminated actionsterminated actions

Mathematics Subject Classification ID

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

Recommendations

• Deontology of compound actions
• A deontic action logic for complex actions
• Publication:4952293
• scientific article; zbMATH DE number 1735828
• Completely and partially executable sequences of actions in deontic context

Cited in

(12)

• Supercover semantics for deontic action logic
• A deontic action logic for complex actions
• Talking about actions
• scientific article; zbMATH DE number 1735828 (Why is no real title available?)
• How to build a deontic action logic
• scientific article; zbMATH DE number 1444714 (Why is no real title available?)
• A deontic logic of action
• Action type deontic logic
• Acting with an End in Sight
• scientific article; zbMATH DE number 4179343 (Why is no real title available?)
• Sequence Semantics for Normative Agents
• Completely and partially executable sequences of actions in deontic context

This page was built for publication: A deontic action logic with sequential composition of actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3167604)