On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice.

Félix Bou Francesc Esteva Lluís Godo Ricardo Oscar Rodríguez

Published in: J. Log. Comput. (2011)

Keyphrases

modal logic
integer points
unit length
inference rules
temporal logic
decision procedures
classical logic
epistemic logic
valued logic
convex hull
nonmonotonic logics
conditional logic
situation calculus
finite number
autoepistemic logic
dynamic logic
prime implicates
explanation based generalization
default logic