Login / Signup
Saul Aaron Kripke
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 3
Top Topics
Valued Logic
Reference Images
Program Execution
Multi Lingual
Top Venues
J. Philos. Log.
Bull. Symb. Log.
Rev. Symb. Log.
</>
Publications
</>
Saul Aaron Kripke
Gödel's Theorem and Direct Self-Reference.
Rev. Symb. Log.
16 (2) (2023)
Saul Aaron Kripke
The collapse of the Hilbert Program: a variation on the GöDelian Theme.
Bull. Symb. Log.
28 (3) (2022)
Saul Aaron Kripke
Ungroundedness in Tarskian Languages.
J. Philos. Log.
48 (3) (2019)
Saul Aaron Kripke
Fregean Quantification Theory.
J. Philos. Log.
43 (5) (2014)