Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information.

Pietro Galliani

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

imperfect information
alternating time temporal logic
propositional dynamic logic
proof theory
game theoretic
epistemic logic
game playing
game tree search
imperfect information games
perfect information
card game
game theory
modal logic
model checking
game tree
finite automata