A first-order branching time logic of multi-agent systems

Seeing Is Believing

Journal of Logic, Language and Information

Agents and Roles: Refinement in Alternating-Time Temporal Logic

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII

Towards formal methods for agent-based systems

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods

Branching-time logic programming: the language Cactus and its applications

Computer Languages

Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results

Journal of Artificial Intelligence Research