A systematics of deontic action logics based on Boolean algebra

DOI10.12775/LLP.2009.012zbMATH Open1239.03012MaRDI QIDQ3081995FDOQ3081995

Authors: Robert Trypuz, Piotr Kulicki 

Publication date: 9 March 2011

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

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

zbMATH Keywords

deontic logicdynamic logicBoolean action algebrasought to beought to do

Mathematics Subject Classification ID

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

Cited In (12)

• Supercover semantics for deontic action logic
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• Title not available (Why is that?)
• Logical approaches to deontic reasoning: From basic questions to dynamic solutions
• Jerzy Kalinowski's logic of normative sentences revisited
• The paradoxes of permission an action based solution
• Dynamic deontic logic and its paradoxes
• Deontic action logics via algebra
• On deontic action logics based on Boolean algebra
• Title not available (Why is that?)
• 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)