Two-Sorted Modal Logic for Formal and Rough Concepts.
Prosenjit HowladerChurn-Jung LiauPublished 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