Belnap-Dunn Modal Logic with Value Operators.

Yuanlei Lin Minghui Ma

Published in: Stud Logica (2021)

Keyphrases

modal logic
modal operators
temporal logic
inference rules
decision procedures
epistemic logic
nonmonotonic logics
classical logic
situation calculus
default logic
dynamic logic
conditional logic
morphological operators
description logic alc
artificial intelligence
domain knowledge
data model