Frame-validity games and lower bounds on the complexity of modal axioms.

Philippe Balbiani David Fernández-Duque Andreas Herzig Petar Iliev

Published in: CoRR (2018)

Keyphrases

lower bound
worst case
upper bound
objective function
nash equilibrium
modal logic
video games
average case complexity
computer games
computational complexity
branch and bound
branch and bound algorithm
decision problems
frame rate
video frames
game theoretic
lower and upper bounds
online game
kripke models