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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: