Strong completeness of modal logics over 0-dimensional metric spaces.
Robert GoldblattIan M. HodkinsonPublished in: CoRR (2019)
Keyphrases
- metric space
- modal logic
- similarity search
- decision procedures
- dimensional vector
- inference rules
- temporal logic
- range queries
- nonmonotonic logics
- high dimensional
- multi dimensional
- distance function
- similarity queries
- default logic
- searching in metric spaces
- epistemic logic
- access methods
- point sets
- multidimensional index
- probability measures
- vector space
- partially ordered sets
- situation calculus
- index structure
- similarity join
- modal operators
- query processing
- data structure