TY  - RPRT
TI  - Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
AU  - Valentin Goranko
AU  - Dmitry Shkatov
PY  - 2019
UR  - https://arxiv.org/abs/0902.2104
ID  - 0902.2104
ER  -