Embedding alternating-time temporal logic in strategic STIT logic of agency, Proceedings of the Third International Workshop on Logic and Communication in Multi-agent Systems (LCMAS'05), vol.49, pp.228-233, 2000. ,
Logics of knowledge and action: A critical analysis and challenges, Journal of Autonomous Agents and Multi-Agent Systems, 2014. ,
Moulin and Peleg, 1982] H. Moulin and B. Peleg. Cores of effectivity functions and implementation theory, Journal of Mathematical Economics, vol.175, issue.3-4, pp.115-145, 1982. ,
A modal logic for coalitional power in games, Journal of Logic and Computation, vol.12, issue.1, pp.149-166, 2002. ,
Everything else being equal: A modal logic for ceteris paribus preferences, Journal of Philosophical Logic, vol.38, pp.83-125, 2009. ,
On the logic of cooperation and propositional control, Handbook of Modal Logic, vol.164, pp.41-58, 2000. ,
Axioms for deliberative STIT, Journal of Philosophical Logic, vol.27, pp.505-552, 1998. ,