Some properties of epistemic set theory with collection

DOI10.2307/2274028zbMath0642.03031OpenAlexW2129633101MaRDI QIDQ3783286

Andrej Scedrov

Publication date: 1986

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

Full work available at URL: https://doi.org/10.2307/2274028

zbMATH Keywords

intuitionistic set theorymodal logic S4Heyting's predicate calculusepistemic set theory with collection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70)

Related Items (3)

Maximality in modal logic ⋮ Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION

Cites Work

• Intensional mathematics
• Epistemic set theory is a conservative extension of intuitionistic set theory

This page was built for publication: Some properties of epistemic set theory with collection