Strong Completeness of Modal Logics over 0-dimensional Metric Spaces.
Robert GoldblattIan M. HodkinsonPublished in: Rev. Symb. Log. (2020)
Keyphrases
- metric space
- modal logic
- temporal logic
- dimensional vector
- decision procedures
- similarity search
- distance function
- inference rules
- similarity queries
- nonmonotonic logics
- range queries
- high dimensional
- searching in metric spaces
- multi dimensional
- epistemic logic
- partially ordered sets
- access methods
- probability measures
- default logic
- multidimensional index
- situation calculus
- modal operators
- point sets
- machine learning
- similarity join
- neural network
- index structure
- pattern recognition