Deontic Logics based on Boolean Algebra

In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer (forthcoming)
Download Edit this record How to cite View on PhilPapers
Abstract
Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of the classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area.
Categories
(categorize this paper)
PhilPapers/Archive ID
CASDLB
Revision history
Archival date: 2013-10-28
View upload history
References found in this work BETA

View all 14 references / Add more references

Citations of this work BETA
Basic Action Deontic Logic.Giordani, Alessandro & Canavotto, Ilaria
Enriching Deontic Logic.Canavotto, Ilaria & Giordani, Alessandro
Deontic Logic and Normative Systems.Roy, Olivier; Tamminga, Allard & Willer, Malte (eds.)

Add more citations

Added to PP index
2013-10-28

Total views
371 ( #11,869 of 50,323 )

Recent downloads (6 months)
39 ( #15,607 of 50,323 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.