Mu-calculus-based deontic logic for regular actions

Jan Broersen; Roelf J. Wieringa; John-Jules Meyer

Mu-calculus-based deontic logic for regular actions

Jan Broersen
, Roelf J. Wieringa
, John-Jules Meyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

8 Citations (Scopus)

116 Downloads (Pure)

Abstract

This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semantic characterizations of deontic notions for regular actions are given in terms of conditions on mu calculus structures and mu calculus formulas capturing this semantics are constructed

Original language	Undefined
Title of host publication	Fifth International Workshop on Deontic Logic in Computer Science (DEON'00)
Editors	R. Demolombe, R. Hilpinen
Place of Publication	Toulouse
Publisher	Onera
Pages	43-61
Number of pages	19
ISBN (Print)	not assigned
Publication status	Published - Jan 2000
Event	5th International Workshop on Deontic Logic in Computer Science, DEON 2000 - Toulouse, France Duration: 20 Jan 2000 → 22 Jan 2000 Conference number: 5

Publication series

Name
Publisher	Onera

Conference

Conference	5th International Workshop on Deontic Logic in Computer Science, DEON 2000
Abbreviated title	DEON
Country/Territory	France
City	Toulouse
Period	20/01/00 → 22/01/00

Keywords

SCS-Services
METIS-119643
IR-64209
EWI-10552

Access to Document

MuDeonFinal published version, 348 KB

Cite this

@inproceedings{f2154ea92bec4690b100810af8feb6da,

title = "Mu-calculus-based deontic logic for regular actions",

abstract = "This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semantic characterizations of deontic notions for regular actions are given in terms of conditions on mu calculus structures and mu calculus formulas capturing this semantics are constructed",

keywords = "SCS-Services, METIS-119643, IR-64209, EWI-10552",

author = "Jan Broersen and Wieringa, \{Roelf J.\} and John-Jules Meyer",

year = "2000",

month = jan,

language = "Undefined",

isbn = "not assigned",

publisher = "Onera",

pages = "43--61",

editor = "R. Demolombe and R. Hilpinen",

booktitle = "Fifth International Workshop on Deontic Logic in Computer Science (DEON'00)",

note = "5th International Workshop on Deontic Logic in Computer Science, DEON 2000 ; Conference date: 20-01-2000 Through 22-01-2000",

}

TY - GEN

T1 - Mu-calculus-based deontic logic for regular actions

AU - Broersen, Jan

AU - Wieringa, Roelf J.

AU - Meyer, John-Jules

N1 - Conference code: 5

PY - 2000/1

Y1 - 2000/1

N2 - This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semantic characterizations of deontic notions for regular actions are given in terms of conditions on mu calculus structures and mu calculus formulas capturing this semantics are constructed

AB - This paper introduces deontic logic of regular actions as a fragment of the modal mu calculus Semantic characterizations of deontic notions for regular actions are given in terms of conditions on mu calculus structures and mu calculus formulas capturing this semantics are constructed

KW - SCS-Services

KW - METIS-119643

KW - IR-64209

KW - EWI-10552

M3 - Conference contribution

SN - not assigned

SP - 43

EP - 61

BT - Fifth International Workshop on Deontic Logic in Computer Science (DEON'00)

A2 - Demolombe, R.

A2 - Hilpinen, R.

PB - Onera

CY - Toulouse

T2 - 5th International Workshop on Deontic Logic in Computer Science, DEON 2000

Y2 - 20 January 2000 through 22 January 2000

ER -