REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943)
From MaRDI portal
scientific article; zbMATH DE number 6724393
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION |
scientific article; zbMATH DE number 6724393 |
Statements
REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (English)
0 references
31 May 2017
0 references
quantified modal logic
0 references
epistemic arithmetic
0 references
epistemic Church thesis
0 references
realizability model for intuitionistic arithmetic
0 references
Barcan formula
0 references
existential presupposition
0 references
epistemic set-theory
0 references
second order arithmetic
0 references
elementary analysis
0 references
generalized continuity principle
0 references
graph model for untyped lambda calculus
0 references
Baire space
0 references
Boolean valued model
0 references
