Picture for Valentin Goranko

Valentin Goranko

A Logic for Conditional Local Strategic Reasoning

Add code
Feb 11, 2021
Figure 1 for A Logic for Conditional Local Strategic Reasoning
Figure 2 for A Logic for Conditional Local Strategic Reasoning
Figure 3 for A Logic for Conditional Local Strategic Reasoning
Viaarxiv icon

Rational coordination with no communication or conventions

Add code
Sep 07, 2017
Figure 1 for Rational coordination with no communication or conventions
Viaarxiv icon

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