Mu-calculus-based Deontic Logic for Regular Actions

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 5th Int. workshop on Deontic Logic in Computer Science (DEON'00)
Editors	R. Demolombe, R. Hilpinene
Place of Publication	Toulouse
Pages	43-61
Number of pages	18
Publication status	Published - 2000

Cite this

@inproceedings{33fe6ca1647d47b392f42bd289e1e4f5,

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

author = "J. Broersen and R. Wieringa and J-J.Ch. Meyer",

year = "2000",

language = "Undefined/Unknown",

pages = "43--61",

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

booktitle = "Proceedings of the 5th Int. workshop on Deontic Logic in Computer Science (DEON'00)",

}