Modal logic
A normal simulation of coalition logic and an epistemic extension
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A Deontic Logic for Socially Optimal Norms
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Dependence theory via game theory
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Strategic games and truly playable effectivity functions
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Hi-index | 0.00 |
Deontic logic has extensively been used to reason about what a player (or coalition) should do when confronted with several choices at its disposal while being aware of its opponents' possibilities. So far this line of research, inspired by Horty's utilitarian account of obligations, has been focused on interpreting coalitional oughts as rational choices, going on to characterizing game-theoretical solution concepts, such as Nash equilibria. With the present contribution we would like to extend the scope of this account to include contractual aspects of coalitional choices, arguing that deontic logic can be used as a comprehensive reasoning tool for the normative aspects of game theory.