Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces.
Maria NoginBing XuPublished in: Int. J. Math. Math. Sci. (2016)
Keyphrases
- topological spaces
- modal logic
- equivalence relation
- temporal logic
- inference rules
- kripke models
- classical logic
- epistemic logic
- complete axiomatization
- nonmonotonic logics
- knowledge base
- situation calculus
- default logic
- topological features
- action theories
- dynamic logic
- machine learning
- autoepistemic logic
- approximation spaces
- first order logic
- pattern recognition
- conditional logic
- description logic alc
- artificial intelligence
- prime implicates
- decision trees
- multi agent
- rough sets