Model-checking games for fixpoint logics with partial order models.

Julian Gutierrez Julian C. Bradfield

Published in: Inf. Comput. (2011)

Keyphrases

model checking
partial order
finite state machines
fixpoint
temporal logic
partially ordered
epistemic logic
expressive power
logic programs
coalition logic
artificial intelligence
deductive databases
truth values
multi dimensional
game theory
datalog programs