Saul Kripke (1940--2022)
type: Item
instance of: scholarly article
title: Saul Kripke (1940--2022)
author: Sergei Artemov
author: John P. Burgess
author: Melvin Fitting
author: Anandi Hattiangadi
published in: The Bulletin of Symbolic Logic
publication date: 2025-01-24T00:00:00Z
Mathematics Subject Classification ID: 01A70
zbMATH DE Number: 7974427
MaRDI profile type: MaRDI publication profile
cites work: Q4075450
cites work: Reflection principles and provability algebras in formal arithmetic
cites work: THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
cites work: Q3659788
cites work: A completeness theorem in modal logic
cites work: The Undecidability of Monadic Modal Quantification Theory
cites work: "Flexible" Predicates of Formal Number Theory
cites work: Q5509675
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Q5339289
cites work: Q5546768
cites work: THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
cites work: Elementary induction on abstract structures
cites work: Deduction-preserving "Recursive Isomorphisms" between theories
cites work: Q4040890
DOI: 10.1017/BSL.2024.29
description: scientific article; zbMATH DE number 7974427