Two-Sorted Modal Logic for Formal and Rough Concepts.

Prosenjit Howlader Churn-Jung Liau

Published in: IJCRS (2023)

Keyphrases

modal logic
explanation based generalization
temporal logic
decision procedures
inference rules
epistemic logic

dynamic logic
nonmonotonic logics
classical logic
rough sets
conditional logic
description logic alc

formal specification
default logic
uncertainty handling
approximation spaces
formal representation
autoepistemic logic

situation calculus
set theory
modal operators
mathematical theory
model checking