TY  - RPRT
TI  - PDL as a Multi-Agent Strategy Logic
AU  - Jan van Eijck
PY  - 2013
UR  - https://arxiv.org/abs/1310.6437
ID  - 1310.6437
ER  -