Game-theoretic semantics for non-distributive logics.

Chrysafis Hartonas

Published 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