"Knowing value'' logic as a normal modal logic.

Tao Gu Yanjing Wang

Published in: Advances in Modal Logic (2016)

Keyphrases

modal logic
temporal logic
classical logic
decision procedures
epistemic logic
inference rules
nonmonotonic logics
default logic
conditional logic
dynamic logic
modal operators
autoepistemic logic
description logic alc
artificial intelligence
prime implicates