The last talk of our Lunch Seminar series for this semester will take place on Monday, May 30th at 13:00 and will be given by Rineke Verbrugge ( University of Gronigen) Title: Every formula of provability logic is either almost always valid or almost always invalid Abstract: It has been shown in the late 1960s … Continue reading Talk by Rineke Verbrugge on May 30th