On Wednesday 27 November 2019, the ILLC is organising a workshop and reception to celebrate Dick de Jongh's 80th birthday. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!
The workshop will take place in ILLC's Common Room, SP107, F1.21.
|09:45-10:00||Walk in / Coffee & Tea|
|10:00-10:10||Welcome by Nick Bezhanishvili|
Intuitionistic logic in the team semantics setting
The Simplest Kind of Learning
|11:30-12:00||Coffee & Tea|
Semantic and proof-theoretic aspects of subminimal negation
Interpretability principles and logics for weak arithmetic theories
|14:40-15:20||Dick de Jongh & Lex Hendriks|
Subminimal negation based on a class of absurdities
Modal zero-one laws: provability logic, Grzegoczyk logic and weak Grzegorczyk logic