A PSPACE-Complete First Order Fragment of Computability Logic
Matthew S. BauerPublished in: CoRR (2012)
Keyphrases
- pspace complete
- coalition logic
- np complete
- model checking
- satisfiability problem
- decision problems
- cl pc
- exptime complete
- strips planning
- modal logic
- dynamic logic
- first order logic
- logical framework
- logic programming
- temporal logic
- tree automata
- automated reasoning
- special case
- phase transition
- utility function
- heuristic search
- domain specific
- np hard