Kripke Semantics for Dependent Type Theory and Realizability Interpretations.
James LiptonPublished in: Constructivity in Computer Science (1991)
Keyphrases
- kripke models
- logical properties
- general theory
- theoretical framework
- speech acts
- artificial intelligence
- closed world assumption
- formal languages
- logical framework
- desirable properties
- modal logic
- database
- conceptual graphs
- formal semantics
- theoretical basis
- formal theory
- temporal logic
- semantic information
- abstract argumentation frameworks
- information systems