Login / Signup
Equivalence and quantifier rules for logic with imperfect information.
Xavier Caicedo
Francien Dechesne
Theo M. V. Janssen
Published in:
Log. J. IGPL (2009)
Keyphrases
</>
imperfect information
alternating time temporal logic
game theoretic
game playing
game tree search
imperfect information games
game theory
model checking
perfect information
modal logic
card game
nash equilibrium
production rules
special case
epistemic logic
linear temporal logic
markov chain