%0 Journal Article %1 journals/tocl/GorankoS09 %A Goranko, Valentin %A Shkatov, Dmitry %D 2009 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 3:1-3:51 %T Tableau-based decision procedures for logics of strategic ability in multiagent systems. %U http://dblp.uni-trier.de/db/journals/tocl/tocl11.html#GorankoS09 %V 11

@article{journals/tocl/GorankoS09, added-at = {2019-09-25T00:00:00.000+0200}, author = {Goranko, Valentin and Shkatov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/247c86c79a8ac137484e3476cc6dc77c9/dblp}, ee = {https://doi.org/10.1145/1614431.1614434}, interhash = {20b92782eecf18987c2bb3cc232ee303}, intrahash = {47c86c79a8ac137484e3476cc6dc77c9}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {3:1-3:51}, timestamp = {2019-09-26T11:44:29.000+0200}, title = {Tableau-based decision procedures for logics of strategic ability in multiagent systems.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl11.html#GorankoS09}, volume = 11, year = 2009 }