Lukasiewicz Logic and Weighted Logics over MV-Semirings.
Sibylle SchwarzPublished in: J. Autom. Lang. Comb. (2007)
Keyphrases
- modal logic
- truth values
- classical logic
- decision procedures
- inference rules
- temporal logic
- epistemic logic
- nonmonotonic logics
- constraint satisfaction problems
- conditional logic
- proof theory
- intuitionistic logic
- propositional dynamic logic
- coalition logic
- motion vectors
- modal operators
- dynamic logic
- multi valued
- proof procedures
- sequent calculi
- kripke models
- knowledge base
- containment of conjunctive queries
- order sorted
- autoepistemic logic
- default logic
- situation calculus
- weighted graph