On the Expressiveness of a Logic of Separated Relations.
Radu IosifFlorian ZulegerPublished in: CoRR (2022)
Keyphrases
- computational properties
- expressive power
- relation algebra
- predicate logic
- monadic second order logic
- logic programming
- algebraic structure
- semantic relations
- horn clauses
- truth values
- classical logic
- temporal relations
- modal operators
- real time
- modal logic
- first order logic
- natural language processing
- knowledge base