From Coalition Logic to STIT

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 4 SPEC. ISS., 2006, Pages 23-35

  Broersen, Jan ^a   Herzig, Andreas ^b   Troquard, Nicolas ^b,c  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITÉ PAUL SABATIER   (France)

^c UNIVERSITY OF TRENTO   (Italy)

Author keywords

agency; Coalition Logic; modal logic; multiagent systems; STIT theory

Indexed keywords

FORMAL LOGIC; MODAL ANALYSIS; PHILOSOPHICAL ASPECTS;

AGENCY; COALITION LOGIC; MODAL LOGIC; STIT THEORY;

MULTI AGENT SYSTEMS;

EID: 33646694333     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.02.011     Document Type: Article

References (19)

1. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, pages 100-109, Florida, October 1997
2. Belnap N., and Perloff M. Seeing to it that: A canonical form for agentives. In: Kyburg H.E., Loui R.P., and Carlson G.N. (Eds). Knowledge Representation and Defeasible Reasoning (1990), Kluwer, Boston 167-190
3. Belnap N., Perloff M., and Xu M. Facing the future: agents and choices in our indeterminist world (2001), Oxford University Press
4. van Benthem J.F.A.K. Correspondence theory. In: Gabbay D.M., and Guenthner F. (Eds). Handbook of Philosophical Logic, vol. II (1984), Reidel
5. D. Elgesem. Action Theory and Modal Logic. PhD thesis, Department of philosophy, University of Oslo, 1993
6. O. Gasquet and A. Herzig. Translating non-normal modal logics into normal modal logics. In A.I.J Jones and M. Sergot, editors, Proceedings International Workshop on Deontic Logic, TANO, Oslo, 1993
7. Gasquet O., and Herzig A. From Classical to Normal Logics. In: Wansing H. (Ed). Proof Theory of Modal Logics. Applied Logic Series volume 2 (1996), Kluwer 293-311
8. Goranko V., and Jamroga W.J. Comparing semantics of logics for multi-agent systems. Synthese 139 2 (2004) 241-280
9. Goranko V. Coalition games and alternating temporal logics. TARK '01: Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge. San Francisco, CA, USA (2001), Morgan Kaufmann Publishers Inc. 259-272
10. Hansen H.H., and Kupke C. A coalgebraic perspective on monotone modal logic. Proccedings of the 7th Workshop on Coalgebraic Methods in Computer Science (CMCS 2004). Electronic Notes in Theoretical Computer Science 106 (2004) 121-143
11. Andreas Herzig and Nicolas Troquard. Uniform choices in logics of agency. Technical report, IRIT, Toulouse, 2005
12. van der Hoek W., and Wooldridge M. On the logic of cooperation and propositional control. Artificial Intelligence 164 1-2 (2005) 81-119
13. Horty J.F. Agency and Deontic Logic (2001), Oxford University Press, Oxford
14. Horty J.F., and Belnap Jr. N.D. The deliberative stit: A study of action, omission, and obligation. Journal of Philosophical Logic 24 6 (1995) 583-644
15. W. Jamroga. Some remarks on alternating temporal epistemic logic. In Proc. of the Int. Workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03), 2003
16. Jones A., and Sergot M. A formal characterization of institutionalized power. Journal of the IGPL 4 3 (1996) 429-445
17. Pauly M. A modal logic for coalitional power in games. J. Log. Comput. 12 1 (2002) 149-166
18. Pörn I. The Logic of Power (1970), Blackwell, Oxford
19. Wölfl S. Qualitative action theory: A comparison of the semantics of alternating time temporal logic and the Kutschera-Belnap approach to agency. In: Alferes J., and Leite J. (Eds). Proceedings Ninth European Conference on Logics in Artificial Intelligence. (JELIA'04). Lecture Notes in Artificial Intelligence volume 3229 (2004), Springer 70-81