Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge

29 August 2008

Papers citing "Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge"

1 / 1 papers shown

Title
Tableau-based decision procedures for logics of strategic ability in multi-agent systems V. Goranko D. Shkatov 55 56 0 15 Mar 2008