A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.

Eugenio Roanes-Lozano Luis M. Laita Eugenio Roanes-Macías

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
conditional logic
default logic
situation calculus
classical logic
explanation based generalization
dynamic logic
autoepistemic logic
nonmonotonic logics
basis functions
modal operators
higher order
knowledge representation
data model