Bounded game-theoretic semantics for modal mu-calculus.
Lauri HellaAntti KuusistoRaine RönnholmPublished in: Inf. Comput. (2022)
Keyphrases
- game theoretic
- game theory
- decision problems
- nonmonotonic logics
- nash equilibrium
- algebraic structure
- formal language
- imperfect information
- formal semantics
- nash equilibria
- tableau calculus
- trust model
- agent programming
- relational calculus
- transition systems
- rational agents
- logic programming
- regret minimization
- pure nash equilibria
- kripke models
- database query languages
- modal operators
- coalitional games
- agent behavior
- resource allocation