On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces.
Denis I. SavelievPublished in: TACL (2013)
Keyphrases
- modal logic
- topological spaces
- inference rules
- temporal logic
- classical logic
- nonmonotonic logics
- default logic
- epistemic logic
- finite state
- conditional logic
- situation calculus
- modal operators
- explanation based generalization
- dynamic logic
- topological features
- description logic alc
- prime implicates
- autoepistemic logic
- answer set programming
- decision rules
- data analysis
- pattern recognition
- social networks
- data mining