Weaker-to-Stronger Translational Embeddings in Modal Logic.
Lloyd HumberstonePublished in: Advances in Modal Logic (2006)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- vector space
- low dimensional
- nonmonotonic logics
- manifold learning
- situation calculus
- default logic
- classical logic
- epistemic logic
- dimensionality reduction
- euclidean space
- conditional logic
- prime implicates
- dynamic logic
- higher order
- high dimensional
- machine learning
- explanation based generalization
- autoepistemic logic
- expert systems