Game-theoretic semantics for non-distributive logics.
Chrysafis HartonasPublished in: Log. J. IGPL (2019)
Keyphrases
- game theoretic
- game theory
- proof theory
- propositional dynamic logic
- decision problems
- nonmonotonic logics
- conditional logic
- epistemic logic
- nash equilibrium
- imperfect information
- rational agents
- general theory
- inference rules
- formal semantics
- default reasoning
- trust model
- proof procedures
- valued logic
- modal logic
- expressive power
- minority game
- agent programming
- nash equilibria
- logic programming
- regret minimization
- pure nash equilibrium
- decision making
- operational semantics
- default theories
- multi agent