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

12 February 2009

Papers citing "Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time"

1 / 1 papers shown

Title
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic V. Goranko D. Shkatov 58 13 0 12 Feb 2009