论文信息 - Coalition games and alternating temporal logics

Coalition games and alternating temporal logics

We draw parallels between coalition game logics developed in [Pauly, 2000b] and [Pauly, 2000c] on one hand, and alternating-time temporal logics of computations introduced in [Alur et al, 97] on the other. In particular, we show equivalence of their semantics, embedding of coalition game logics into alternating-time temporal logic, and propose axiomatic systems for these logics.

V. Goranko

[1] A. K. Chandra,et al. Alternation , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[2] R. Parikh. The logic of games and its applications , 1985 .

[3] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[5] Ariel Rubinstein,et al. A Course in Game Theory , 1995 .

[6] Thomas A. Henzinger,et al. Alternating Refinement Relations , 1998, CONCUR.

[7] J. Abdou,et al. Rectangularity and Tightness: A Normal Form Characterization of Perfect Information Extensive Game Forms , 1998, Math. Oper. Res..

[8] M. Pauly. Game logic for game theorists , 2000 .

[9] Marc Pauly,et al. Logic for social software , 2000 .

[10] M. Pauly. A Logical Framework for Coalitional Effectivity in Dynamic Procedures , 2001 .

[11] Thomas A. Henzinger,et al. Alternating-time temporal logic , 2002, JACM.