Deriving Inverse Operators for Modal Logic.

Michell Guzmán Salim Perchy Camilo Rueda Frank D. Valencia

Published in: ICTAC (2016)

Keyphrases

modal logic
modal operators
temporal logic
decision procedures
inference rules
classical logic
conditional logic
epistemic logic
default logic
artificial intelligence
nonmonotonic logics
situation calculus
incomplete information
prime implicates
database systems
machine learning
description logic alc