How to build a deontic action logic

MaRDI QIDQ4919772zbMATH OpenFDO

Authors Piotr Kulicki, Robert Trypuz

Publication date 15 May 2013

zbMATH Keywords

action theoryalgebra of actionsdeontic logicdeontology

Mathematics Subject Classification ID

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

Recommendations

• A deontic action logic for complex actions
• Action type deontic logic
• A deontic action logic with sequential composition of actions
• Basic action deontic logic
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra

Cited in

(2)

• Action type deontic logic
• Deontic paradoxes and tableau system for Kalinowski's deontic logic \(K1\)

This page was built for publication: How to build a deontic action logic

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