A PSPACE-complete Fragment of Second-order Linear Logic.
Guy PerrierPublished in: Theor. Comput. Sci. (1999)
Keyphrases
- linear logic
- pspace complete
- np complete
- model checking
- satisfiability problem
- decision problems
- fixed point
- strips planning
- higher order
- cut elimination
- tree automata
- logical framework
- logic programming
- sequent calculus
- causal graph
- desirable properties
- np hard
- temporal logic
- inference rules
- general purpose
- computational complexity