Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009