Propositional Temporal Interval Logic is PSPACE Complete.
A. A. AabyK. T. NarayanaPublished in: CADE (1988)
Keyphrases
- coalition logic
- pspace complete
- cl pc
- strips planning
- model checking
- np complete
- satisfiability problem
- logical framework
- dynamic logic
- decision problems
- modal logic
- sound and complete axiomatization
- multi valued
- causal graph
- multi agent systems
- finite state
- np hard
- propositional variables
- computational complexity
- search algorithm
- belief revision
- first order logic
- cellular automata
- constraint satisfaction problems