Comparing semantics of logics for multi-agent systems (Q2431875)

A comparative analysis is offered of several logics that have been developed to deal with a set of agents taking actions, simultaneously or sequentially, on a common set of states, affecting transitions between states. The logics considered are coalitional game logic, alternating-time temporal logic and alternating-time temporal epistemic logic. Reduction and equivalence results are established for their semantics. Ways to transform between different types of models and languages are proved.