Modal Logic of Generalized Separated Topological Spaces.
Qian ChenMinghui MaPublished in: ICLA (2023)
Keyphrases
- modal logic
- topological spaces
- temporal logic
- inference rules
- epistemic logic
- approximation spaces
- nonmonotonic logics
- classical logic
- conditional logic
- prime implicates
- description logic alc
- explanation based generalization
- default logic
- situation calculus
- rough sets
- reinforcement learning
- data mining
- neural network