An AC 1-complete model checking problem for intuitionistic logic.

Martin Mundhenk Felix Weiss

Published in: Comput. Complex. (2014)

Keyphrases

model checking
intuitionistic logic
model checker
pspace complete
temporal logic
formal verification
formal specification
finite state machines
formal methods
classical logic
np complete
verification method
artificial intelligence
dynamical systems