Mu-calculus-based Deontic Logic for Regular Actions.

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

Original language	English
Title of host publication	Pre-proceedings Fifth International Workshop on Deontic Logic in Computer Science (DEON'00).
Editors	R. Demolombe, R. Hilpinen
Pages	43-61
Publication status	Published - 2000

Persistent URL (handle)

@inproceedings{42e7ee0f7f4748cca3138aff7c7f154b,

title = "Mu-calculus-based Deontic Logic for Regular Actions.",

author = "J.M. Broersen and R.J. Wieringa and J. Meyer",

year = "2000",

language = "English",

pages = "43--61",

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

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

}