Intensional mathematics
From MaRDI portal
Publication:798616
Cited in
(18)- Oskar Becker and the modal translation of intuitionistic logic
- A new “feasible” arithmetic
- CAN MODALITIES SAVE NAIVE SET THEORY?
- Topological models of epistemic set theory
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
- Some properties of epistemic set theory with collection
- European Summer Meeting of the Association for Symbolic Logic
- Bibliography of John Myhill
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- Explicit provability and constructive semantics
- Self-referential theories
- Reflecting in epistemic arithmetic
- Intuitionistic modal logic and set theory
- A guide to truth predicates in the modern era
- Epistemic set theory is a conservative extension of intuitionistic set theory
- Maximality in modal logic
- Mathematical modality: an investigation in higher-order logic
- Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
This page was built for publication: Intensional mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798616)