2 problems

0 votes0 replies0 views
Tractable model-checking conjecture for conditional strategic reasoning
Let ${\mathsf{ConStR}}$ be the logic for conditional local strategic reasoning introduced in the paper, and consider the problem of deciding whether a ${\mathsf{ConStR}}$ formula i…
Conjectureopenmodal-logic model-checking strategic-reasoningarXiv posted 2 days ago
0 votes0 replies0 views
PSPACE-completeness conjecture for conditional strategic reasoning
Let ${\mathsf{ConStR}}$ be the logic for conditional local strategic reasoning introduced in the paper, and let its satisfiability problem ask whether a formula of…
Conjectureopencomputational-complexity modal-logic strategic-reasoningarXiv posted 2 days ago

Tractable model-checking conjecture for conditional strategic reasoning