Henkin Quantifiers: Logic, Games, and Computation.

Merlijn Sevenster

Published in: Bull. EATCS (2006)

Keyphrases

modal logic
game theory
logic programming
learning agents
predicate logic
video games
efficient computation
educational games
winning strategy
proof theory
asynchronous circuits
defeasible logic
game based learning
database
inference rules
first order logic
artificial intelligence