Picture for Dmitry Shkatov

Dmitry Shkatov

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

Add code
Jan 25, 2012
Figure 1 for Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
Figure 2 for Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
Figure 3 for Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
Figure 4 for Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
Viaarxiv icon

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

Add code
Sep 09, 2008
Viaarxiv icon