Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic

12 February 2009

Papers citing "Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic"

1 / 1 papers shown

Title
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge V. Goranko D. Shkatov 48 10 0 29 Aug 2008