Computing Theory Prime Implicates in Modal Logic.

Manoj K. Raut Tushar V. Kokane Rishabh Agarwal

Published in: ISDA (2017)

Keyphrases

prime implicates
modal logic
prime implicants
temporal logic
normal form
belief change
inference rules
desirable properties
epistemic logic
kripke models
knowledge compilation
classical logic
abductive reasoning
nonmonotonic logics
dynamic logic
conditional logic
description logic alc
decision theory