The Inexhaustible Content of Modal Boxes


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.

Slides referencing similar topics