Graded Many-Valued Modal Logic and Its Graded Rough Truth.

Jiansheng Li Zengtai Gong

Published in: Axioms (2022)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
truth values
epistemic logic
classical logic
nonmonotonic logics
dynamic logic
situation calculus
conditional logic
rough sets
default logic
modal operators
prime implicates
expert systems
description logic alc