Some remarks on semantics and expressiveness of the Sentential Calculus with Identity.
Steffen LewitzkaPublished in: CoRR (2021)
Keyphrases
- expressive power
- computational properties
- relational calculus
- algebraic structure
- database query languages
- formal language
- process algebra
- formal semantics
- relational algebra
- logic programming
- highly expressive
- description logics
- temporal reasoning
- database
- logical framework
- model checking
- semantic information
- identity management
- neural network
- databases