Login / Signup
Luca Castaldo
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Website
Computer Programs
Case Study
Desirable Properties
Top Venues
Rev. Symb. Log.
Stud Logica
</>
Publications
</>
Luca Castaldo
Notes on Models of (Partial) Kripke-Feferman Truth.
Stud Logica
111 (1) (2023)
Luca Castaldo
,
Johannes Stern
KF, PKF, and Reinhardt?s Program.
Rev. Symb. Log.
16 (1) (2023)