Kripke Semantics for Martin-Löf's Extensional Type Theory
Steven AwodeyFlorian RabePublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- speech acts
- kripke models
- proof theory
- logic programming
- logical theories
- proof theoretic
- desirable properties
- inference rules
- theoretical basis
- formal semantics
- neural network
- logical framework
- algebraic structure
- formal theory
- dl lite
- operational semantics
- general theory
- stable models
- temporal logic
- multi agent systems
- metadata