Proof Theory for Admissibility in Two-Player (Deontic) Games.

Edi Pavlovic Frederik Van De Putte

Published in: DEON (2023)

Keyphrases

proof theory
nash equilibria
perfect information
game theoretic
nash equilibrium
default reasoning
learning agents
imperfect information
repeated games
proof theoretic
game playing
game theory
automated reasoning
incomplete information
reasoning problems
belief revision
theorem proving
reinforcement learning