Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
DSpace/Manakin Repository
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
Broersen, J.M.
(2006) Proceedings 8th International Workshop on Deontic Logic in Computer Science (DEON'06), pp. 53 - 68
(Part of book)
Download/Full Text
Open Access version via Utrecht University Repository
Unknown
Publisher: Springer
Note: Broersen:DEON2006
(Peer reviewed)
See
more statistics
about this item