Keyphrases
- logical properties
- logical formulas
- predicate calculus
- database query languages
- automated theorem proving
- logical language
- process algebra
- logical framework
- real numbers
- variable selection
- lambda calculus
- proof procedure
- dynamic logic
- algebraic structure
- logical rules
- formal language
- function symbols
- model theoretic
- relational calculus
- formal semantics
- higher order
- database systems
- formal specification
- theorem prover
- random variables
- logic programming
- truth values
- computational properties
- reasoning tasks
- continuous variables
- semantic relationships
- causal models
- theorem proving
- conceptual model
- logical theories