Tableau-based decision procedures for logics of strategic ability in multiagent systems

Valentin Goranko, Dmitry Shkatov
2009 ACM Transactions on Computational Logic  
doi:10.1145/1614431.1614434 fatcat:dkmd7255izhh3nhceo5gvzlvkm