Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario

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

Original language	Undefined/Unknown
Title of host publication	Proceedings 8th International Workshop on Deontic Logic in Computer Science (DEON'06)
Editors	L. Goble, J.-J.Ch. Meyer
Publisher	Springer
Pages	53-68
Number of pages	16
Publication status	Published - 2006

Access to Document

@inproceedings{5965bdc6d2e042beb953a968145a9b63,

title = "Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario",

author = "J.M. Broersen",

note = "Broersen:DEON2006",

year = "2006",

language = "Undefined/Unknown",

pages = "53--68",

editor = "L. Goble and J.-J.Ch. Meyer",

booktitle = "Proceedings 8th International Workshop on Deontic Logic in Computer Science (DEON'06)",

publisher = "Springer",

address = "Germany",

}

Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. / Broersen, J.M.
Proceedings 8th International Workshop on Deontic Logic in Computer Science (DEON'06). ed. / L. Goble; J.-J.Ch. Meyer. Springer, 2006. p. 53-68.

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