Interpolation and Beth Definability over the Minimal Logic.
Larisa MaksimovaPublished in: Advances in Modal Logic (2012)
Keyphrases
- classical logic
- finite model theory
- logic programming
- modal logic
- image interpolation
- fixed point
- propositional logic
- predicate logic
- defeasible logic
- database
- multi valued
- interpolation methods
- edge directed
- natural deduction
- minimal models
- delay insensitive
- digital circuits
- monadic second order logic
- sound and complete axiomatization
- deontic logic
- epistemic logic
- formal theory
- linear interpolation
- logical framework
- probabilistic logic
- edge detection
- genetic algorithm