REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION

DOI10.1017/S1755020316000095zbMath1400.03050arXiv1510.01977OpenAlexW2254944534MaRDI QIDQ5737943

Sean Walsh, Benjamin G. Rin

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.01977

zbMATH Keywords

Baire spacequantified modal logicepistemic arithmeticBarcan formulaBoolean valued modelsecond order arithmeticelementary analysisepistemic Church thesisepistemic set-theoryexistential presuppositiongeneralized continuity principlegraph model for untyped lambda calculusrealizability model for intuitionistic arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Heyting algebras (lattice-theoretic aspects) (06D20) Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intensional mathematics
• Topological models of epistemic set theory
• Realizability. An introduction to its categorical side
• Realizability and recursive set theory
• Constructivism in mathematics. An introduction. Volume I
• In defense of epistemic arithmetic
• Classical recursion theory. Vol. II
• Provability in principle and controversial constructivistic principles
• First-order modal logic
• Church's thesis after 70 years
• Flagg realizability in arithmetic
• Some properties of epistemic set theory with collection
• A unified completeness theorem for quantified modal logics
• Two Proof-Theoretic Remarks on EA + ECT
• On the interpretation of intuitionistic number theory
• Multiple universes of sets and indeterminate truth values

This page was built for publication: REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION