Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors.
Daniel GâinâPublished in: J. Log. Comput. (2017)
Keyphrases
- first order logic
- expressive power
- intuitionistic logic
- description logics
- inference rules
- valued logic
- modal logic
- number restrictions
- classical logic
- knowledge representation and reasoning
- image interpolation
- interpolation methods
- information systems
- conditional logic
- nonmonotonic logics
- computational properties
- von neumann
- interpolation method
- knowledge base
- propositional dynamic logic
- epistemic logic
- interpolation algorithm
- knowledge representation
- digital topology
- spline interpolation
- edge directed
- real time