Model-Checking Games for Fixpoint Logics with Partial Order Models.

Julian Gutierrez Julian C. Bradfield

Published in: CONCUR (2009)

Keyphrases

model checking
partial order
finite state machines
fixpoint
temporal logic
partially ordered
epistemic logic
logic programs
coalition logic
modal logic
set theory
expressive power
orders of magnitude
artificial intelligence
horn clauses
data mining
stable models