Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.
Larisa MaksimovaPublished in: Advances in Modal Logic (1996)
Keyphrases
- modal logic
- nonmonotonic logics
- temporal logic
- inference rules
- image interpolation
- expressive power
- default logic
- epistemic logic
- classical logic
- first order logic
- linear interpolation
- situation calculus
- interpolation method
- propositional variables
- modal operators
- conditional logic
- piecewise polynomial
- multi agent
- propositional dynamic logic
- sparse sampling
- neural network
- kripke models
- database query languages
- horn clauses
- model checking
- motion estimation
- expert systems
- genetic algorithm