in provability logic. When my predecessor Martin Löb arrived in Amsterdam, he left it to Dick to explain his seminal theorem, encoded in this axiom, to us eager graduate students. In my recollection, this marked the beginning of an active modal logic period, including a wonderful joint seminar on intuitionistic logic and provability logic by Dick and Craig… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.