Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus.
Jean H. GallierPublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- lambda calculus
- predicate calculus
- kripke models
- higher order
- theorem proving
- modal logic
- programming language
- database query languages
- program understanding
- first order logic
- semantic network
- theorem prover
- general purpose
- complex objects
- machine learning
- situation calculus
- inference rules
- predicate logic
- formal model
- fault localization
- temporal logic
- expressive power