A systematics of deontic action logics based on Boolean algebra

DOI10.12775/LLP.2009.012MaRDI QIDQ3081995zbMATHFDO

Authors Robert Trypuz, Piotr Kulicki

Publication date 9 March 2011

Published in Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

deontic logicdynamic logicBoolean action algebrasought to beought to do

Mathematics Subject Classification ID

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

Recommendations

• Commands changing obligations
• Dynamic deontic logic, Segerberg-style
• D{\(\Delta\)}L: a dynamic deontic logic
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• Action negation and alternative reductions for dynamic deontic logics
• To do something else
• Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity
• Publication:3028978
• Basic action deontic logic
• Publication:4952293

Cited in

(12)

• Dynamic deontic logic and its paradoxes
• Jerzy Kalinowski's logic of normative sentences revisited
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• Deontic action logics via algebra
• On deontic action logics based on Boolean algebra
• Supercover semantics for deontic action logic
• scientific article; zbMATH DE number 4130344 (Why is no real title available?)
• The paradoxes of permission an action based solution
• Logical approaches to deontic reasoning: From basic questions to dynamic solutions
• scientific article; zbMATH DE number 2201384 (Why is no real title available?)
• Deontic Logics Based on Boolean Algebra
• Deontic action logic, atomic Boolean algebras and fault-tolerance

This page was built for publication: A systematics of deontic action logics based on Boolean algebra

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