Program
| #I0 | Prinsenzaal |
|---|
| 8:45 |
Registration
|
|
|---|---|---|
| 9:15 |
Opening session
|
|
| 9:30 |
Categoricity-like notions for first-order theories
|
|
| 10:30 |
Coffee break
|
|
| 11:00 |
Boundedly axiomatizable theories meet (in)completeness
|
|
| 12:00 |
Lunch
|
|
| 13:45 |
Admissibility of Visser's rules in intuitionistic modal logics
|
|
| 14:30 |
|
|
| 15:00 |
Coffee break
|
|
| 15:30 |
Towards intuitionistic polymodal provability logic Mojtaba Mojtahedi, Fedor Pakhomov
|
|
| 16:00 |
Proof-theoretic remarks on extensions of the Kripke-Feferman theory of truth
|
|
| 16:30 |
|
|
| 17:00 |
| #I0 | Prinsenzaal |
|---|
| 9:30 |
Categoricity-like notions for first-order theories
|
|
|---|---|---|
| 10:30 |
Coffee break
|
|
| 11:00 |
Boundedly axiomatizable theories meet (in)completeness
|
|
| 12:00 |
Lunch
|
|
| 14:00 |
|
|
| 14:45 |
Two-dimensional Kripke semantics
|
|
| 15:30 |
Possible world semantics and the contingency of logic Paul Mayaux, Iris van der Giessen, Joost Joosten
|
|
| 16:00 |
Coffee break
|
|
| 16:30 | ||
| 16:45 |
Paraconsistent arithmetic and recapture
|
|
| 17:15 |
| #I0 | Prinsenzaal |
|---|
| 10:00 |
Searching for the ideal framework
|
|
|---|---|---|
| 10:45 |
Coffee break
|
|
| 11:15 |
Strong completeness below $\sf{GLP}$ Grigorii Stepanov, Juan Pablo Aguilera
|
|
| 11:45 |
A classification of the $\sf{KPl}$-provably total set-recursive functions Juan Pablo Aguilera, Antón Fernández Dejean, Joost Joosten
|
|
| 12:15 | ||
| 17:15 |
|
|
| 18:45 |
|
|
| 21:00 |
| #I0 | Prinsenzaal |
|---|
| 9:30 |
Categoricity-like notions for first-order theories
|
|
|---|---|---|
| 10:30 |
Coffee break
|
|
| 11:00 |
Boundedly axiomatizable theories meet (in)completeness
|
|
| 12:00 |
Lunch
|
|
| 13:30 |
Atomization alternatives in the Russell-Prawitz translation
|
|
| 14:15 |
|
|
| 15:00 |
Coffee break
|
|
| 15:30 |
|
|
| 16:00 |
How constructive is Gödel's Dialectica translation?
|
|
| 16:30 |