The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete

Martin Mundhenk Felix Weiss

Published in: CoRR (2010)

Keyphrases

model checking
intuitionistic logic
model checker
pspace complete
temporal logic
formal verification
formal specification
formal methods
finite state machines
np complete
coalition logic
linear logic
classical logic
description logics
propositional logic
ai planning
natural deduction
normal form
knowledge base