The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete.
Simone BovaFranco MontagnaPublished in: Theor. Comput. Sci. (2009)
Keyphrases
- pspace complete
- coalition logic
- np complete
- model checking
- satisfiability problem
- decision problems
- cl pc
- logical framework
- logic programming
- temporal logic
- modal logic
- strips planning
- role play
- causal graph
- tree automata
- multi valued
- temporal reasoning
- automated reasoning
- np hard
- phase transition
- constraint satisfaction problems
- domain specific