Satisfiability for two-variable logic with two successor relations on finite linear orders
Diego FigueiraPublished in: CoRR (2012)
Keyphrases
- computational properties
- logic programming
- relation algebra
- automated reasoning
- np complete
- linear temporal logic
- truth values
- computational complexity
- bounded model checking
- linearly separable
- multi valued
- satisfiability problem
- horn clauses
- decision procedures
- real numbers
- observed variables
- semantic relations
- supply chain
- knowledge base