A deontic logic of action
type: Item
instance of: scholarly article
title: A deontic logic of action
zbMATH Open document ID: 0537.03018
DOI: 10.1007/BF00370348
author: Krister Segerberg
published in: Studia Logica
publication date: 1982-01-01T00:00:00Z
review text: This is a formalisation of a deontic logic based on a formal language whose terms are intended to express ''events'' (i.e., sets of ''outcomes'') and whose formulas should express propositions. The intended interpretation is given by a ''deontic action algebra'' with F (''forbidden events'') and P (''permitted events'') as ideals. The ''basic open deontic logic of urn model action'' (B.O.D.) with special axioms for \underbar{Forb} and \underbar{Perm} is described and its completeness proved. B.O.D. is shown to satisfy the ''Closure Principle'' (''what is not forbidden is permitted'') in a weak sense (at the level of outcomes) whereas at the level of events this principle can be satisfied only in ''the basic closed deontic logic of urn model action'', which one gets by adding an axiom to B.O.D. Other operators (P- and F-based obligations and prohibitions) are defined. An ''action-game'' is sketched.
Mathematics Subject Classification ID: 03B99
Mathematics Subject Classification ID: 03C65
zbMATH DE Number: 3853045
zbMATH Keywords: action games
zbMATH Keywords: deontic logic
zbMATH Keywords: events
zbMATH Keywords: propositions
zbMATH Keywords: deontic action algebra
zbMATH Keywords: urn model action
reviewed by: Pavel Materna
MaRDI profile type: Publication
cites work: Q5734410
cites work: Semantics for von Wright's latest deontic logic
cites work: Q3942936
cites work: Semantic analysis of tense logics
description: scientific article; zbMATH DE number 3853045