Publication:6670885: Difference between revisions
From MaRDI portal
Publication:6670885
Created automatically from import250213030230 |
(No difference)
|
Latest revision as of 20:37, 13 February 2025
DOI10.1017/BSL.2024.29MaRDI QIDQ6670885FDOQ6670885
Anandi Hattiangadi, Sergei Artemov, John P. Burgess, Melvin Fitting
Publication date: 24 January 2025
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Cites Work
- Elementary induction on abstract structures
- A completeness theorem in modal logic
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Reflection principles and provability algebras in formal arithmetic
- Deduction-preserving "Recursive Isomorphisms" between theories
- The Undecidability of Monadic Modal Quantification Theory
- "Flexible" Predicates of Formal Number Theory
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
- THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Saul Kripke (1940--2022)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6670885)
