Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants.
Lauri HellaAntti KuusistoRaine RönnholmPublished in: GandALF (2020)
Keyphrases
- game theoretic
- game theory
- decision problems
- nonmonotonic logics
- nash equilibrium
- formal language
- formal semantics
- algebraic structure
- imperfect information
- tableau calculus
- modal logic
- trust model
- logic programming
- agent programming
- database query languages
- solution concepts
- regret minimization
- cooperative
- relational calculus
- nash equilibria
- propositional logic
- transition systems
- reinforcement learning
- operational semantics
- modal operators
- dynamic logic
- metaheuristic
- dynamic programming