Friday, 22.07
9.00-9.15 |
Opening |
Jacek Malinowski |
|
9.15-10:15 |
Alessandro Giordani |
Relating Semantics for Explicit Epistemic Logic Invited talk |
Francesco Paoli (chairman) |
10.15-11.00 |
Tomasz Jarmużek |
Francesco Paoli (chairman) |
|
11.00-11.30 |
Coffee break |
|
|
11.30-12.15 |
Daniela Glavaničová, Matteo Pascucci |
Truth in Fiction and Relating Logic (online) |
Francesco Paoli (chairman) |
12.15-13.00 |
Piotr Kulicki |
Francesco Paoli (chairman) |
|
13.00-14.30 |
Lunch break |
|
|
14.30-15.30 |
Hitoshi Omori |
On Relating Semantics and Connexive Logic Invited talk |
Davide Fazio (chairman) |
15.30-16.15 |
Nils Kürbis |
Davide Fazio (chairman) |
|
16.15-16.45 |
Coffee break |
|
|
16.45-17.30 |
Luis Estrada-González, Mateusz Klonowski |
Boolean Connexive Logic and Content Relationship (online) |
Davide Fazio (chairman) |
17.30-18.15 |
Ricardo Arturo Nicolás Francisco |
Reconsidering Superconnexivity in Boolean Connexive Logics (online) |
Davide Fazio (chairman) |
18.15-19.00 |
Aleksander Parol |
(online) |
Davide Fazio (chairman) |
Saturday, 23.07
9.15-10.15 |
Marek Nasieniewski |
On Compatible Propositional Systems Invited talk |
Jacek Malinowski (chairman) |
10.15-11.00 |
Andrzej Indrzejczak |
Relating Logics - Cut-Free Formalization and the Interpolation Theorem |
Jacek Malinowski (chairman) |
11.00-11.30 |
Coffee break |
|
|
11.30-12.15 |
Maria Martínez-Ordaz |
Abductivism About Relating Logics: The Case of Scientific Understanding (online) |
Jacek Malinowski (chairman) |
12.15-13.00 |
Tomasz Jarmużek |
Non-Orthodox and Orthodox Strategies in Tableau Metatheory for Relating Logic |
Jacek Malinowski (chairman) |
13.00-13.15 |
Closing |
|
|