The Inexhaustible Content of Modal Boxes

Abstract

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)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics