Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic.
Jacques ChazarainAgustín Riscos GonzálesJosé Antonio Alonso JimenezEmilio Briales MoralesPublished in: J. Symb. Comput. (1991)
Keyphrases
- modal logic
- numerically stable
- polynomial equations
- temporal logic
- inference rules
- decision procedures
- numerical stability
- classical logic
- situation calculus
- nonmonotonic logics
- epistemic logic
- conditional logic
- methods in computer vision
- basis functions
- autoepistemic logic
- prime implicates
- modal operators
- artificial intelligence
- default logic
- convergence rate
- dynamic logic
- machine learning