Finite Satisfiability in Infinite-Valued Lukasiewicz Logic.
Steven SchockaertJeroen JanssenDirk VermeirMartine De CockPublished in: SUM (2009)
Keyphrases
- modal logic
- valued logic
- truth values
- decision procedures
- description logic alc
- multi valued
- classical logic
- finite sets
- temporal logic
- propositional logic
- inference rules
- satisfiability problem
- linear temporal logic
- conjunctive normal form
- computational properties
- np complete
- computational complexity
- bounded model checking
- logic programming
- real numbers
- default logic
- finite dimensional
- proof theory
- np hard
- quantified boolean formulas
- automata theoretic
- fixpoint
- automated reasoning
- model checking
- lower bound
- valued semantics
- knowledge base