A Fixed-point Characterization of a Deontic Logic of Regular Action

Jan Broersen; Roel Wieringa; John-Jules Meyer

A Fixed-point Characterization of a Deontic Logic of Regular Action

Jan Broersen
, Roel Wieringa
, John-Jules Meyer

Research output: Contribution to journal › Article › Academic › peer-review

12 Citations (Scopus)

1 Downloads (Pure)

Abstract

We define a deontic logic of regular action as a characterization within a modal μ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal μ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action.

Original language	English
Pages (from-to)	107-128
Number of pages	22
Journal	Fundamenta informaticae
Volume	48
Issue number	2-3
Publication status	Published - 2001

Keywords

Free choice permission
Dynamic deontic logic
U-calculus
Finite automatons
Regular actions
Modal action logic
Ought-to-do norms

Access to Document

Cite this

@article{de424b06135d4f34bf191207928e6c0f,

title = "A Fixed-point Characterization of a Deontic Logic of Regular Action",

abstract = "We define a deontic logic of regular action as a characterization within a modal μ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal μ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action.",

keywords = "Free choice permission, Dynamic deontic logic, U-calculus, Finite automatons, Regular actions, Modal action logic, Ought-to-do norms",

author = "Jan Broersen and Roel Wieringa and John-Jules Meyer",

year = "2001",

language = "English",

volume = "48",

pages = "107--128",

journal = "Fundamenta informaticae",

issn = "0169-2968",

publisher = "Sage",

number = "2-3",

}

TY - JOUR

T1 - A Fixed-point Characterization of a Deontic Logic of Regular Action

AU - Broersen, Jan

AU - Wieringa, Roel

AU - Meyer, John-Jules

PY - 2001

Y1 - 2001

N2 - We define a deontic logic of regular action as a characterization within a modal μ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal μ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action.

AB - We define a deontic logic of regular action as a characterization within a modal μ-calculus of action. First a semantics of deontic notions for regular action is given in terms of conditions on modal action structures. Then modal μ-calculus formulas characterizing these conditions are constructed by closely following the structure of deterministic finite automatons for regular action.

KW - Free choice permission

KW - Dynamic deontic logic

KW - U-calculus

KW - Finite automatons

KW - Regular actions

KW - Modal action logic

KW - Ought-to-do norms

M3 - Article

SN - 0169-2968

VL - 48

SP - 107

EP - 128

JO - Fundamenta informaticae

JF - Fundamenta informaticae

IS - 2-3

ER -

A Fixed-point Characterization of a Deontic Logic of Regular Action

Abstract

Keywords

Access to Document

Fingerprint

Cite this