Bounded game-theoretic semantics for modal mu-calculus.
Lauri HellaAntti KuusistoRaine RönnholmPublished in: CoRR (2017)
Keyphrases
- game theoretic
- game theory
- decision problems
- nonmonotonic logics
- algebraic structure
- formal semantics
- formal language
- imperfect information
- nash equilibrium
- database query languages
- tableau calculus
- modal logic
- rational agents
- trust model
- logic programming
- dynamic logic
- agent programming
- relational calculus
- modal operators
- resource allocation
- transition systems
- regret minimization
- multi agent systems
- pure nash equilibria
- operational semantics
- combinatorial auctions
- pure nash equilibrium