Picture for Mai Ajspur

Mai Ajspur

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