1. $\mathrm {KF}$, $\mathrm {PKF}$, AND REINHARDT'S PROGRAM. Issue 1 (8th March 2023) Authors: CASTALDO, LUCA; STERN, JOHANNES Journal: Review of symbolic logic Issue: Volume 16:Issue 1(2023) Page Start: 33 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗