Friday, 21st August
08:00–08:50 Morning reception and registration
08:50–09:00 Opening address
09:00–10:00 Invited talk (session chair: Nina Gierasimczuk):
Magdalena Ortiz
It’s All Connected: Logic and Knowledge Representation for Graph Data
10:00–10:25 Coffee break
10:25–12:30 Contributed talks (session chair: Fredrik Engström):
- 10:25 Hans van Ditmarsch, Valentin Goranko and Yanjing Wang, The Quest for Ultimate Ignorance I. Iterated ignorance is complex!
- 10:50 Alexander V. Gheorghiu, A Proof-theoretic Foundation for Mathematics
- 11:15 Barteld Kooi and Allard Tamminga, From Tonk to Harmony via Identity and Cut
- 11:40 Karl Nygren, Announcing alternatives
- 12:05 Mina Young Pedersen and Sonja Smets, Logical Modeling of Belief Polarization
12:30–13:45 Lunch
13:45–15:00 Contributed talks (session chair: Graham Leigh):
- 13:45 Michał Walicki, The definability of truth in LSO
- 14:10 Luca Castaldo, Determinateness in a Classical Theory of Nonclassical Truth
- 14:35 Charles Crumpler, Cut for Negative Free Classical Core Logic with Equality and a Variable-binding, Term-forming Operator
15:00–15:25 Coffee break
15:25–16:15 Contributed talks (session chair: Santiago Jockwich):
- 15:25 Søren Brinck Knudstorp, Undecidability in Relevant Logic
- 15:50 Davide Botticchio, A Non-bivalent Naïve Validity Theory
Saturday, 22nd August
08:00–09:00 Morning buffet
09:00–10:00 Invited talk (session chair: Valentin Goranko):
Carsten Schürmann
Towards a Logic of Zero-Knowledge
(joint work with Markus Krabbe Larsen and Abhi Shelat)
10:00–10:25 Coffee break
10:25–12:30 Contributed talks (session chair: Juha Kontinen):
- 10:25 Wessel Kroon, Partition-Based Topic-Sensitive Intentional Modals
- 10:50 Orvar Lorimer-Olsson, Semantic Plurivalence is Logically Idempotent
- 11:15 Santiago Jockwich Martinez, Should we worry about Duplication?
- 11:40 UweWolter, Licensing Hypothetical Reasoning
- 12:05 Qianli Zeng, A Jónsson-Tarski-Goldblatt Representation and Frame Definability for Noncontingency Logic
12:30–13:45 Lunch
13:45–14:45 Invited talk (session chair: Mina Young Pedersen):
Vera Koponen
Logical convergence laws from the perspective of statistical relational artificial intelligence
14:45–15:25 Coffee break
15:25–16.25 Panel discussion chaired by Thomas Bolander
16.25–17:10 SLS General Meeting
20:30 Conference dinner
Sunday, 23rd August
08:00–09:30 Morning buffet
09:30–10:30 Invited talk (session chair: Patrick Blackburn):
Salvatore Florio
Sets and Pluralities
10:30–10:55 Coffee break
10:55–12:35 Contributed talks (session chair: Søren Brinck Knudstorp):
- 10:55 Sama Agahi, Self-Suficiency of Logics: A Framework for Metalogical Constraints
- 11:20 Frederik J. Andersen, On the epistemic significance of convergence in logical theorizing
- 11:45 Ludovica Conti, Weak Impredicativity and Frege’s Grundgesetze
- 12:10 Alexandru Petrisor, Truthmaker Semantics and Hempelian Explanation in Mathematics
12:35–13:45 Lunch
13:45–15:00 Contributed talks (session chair: Alessandro Bruni):
- 13:45 Mirko Engler (joint work with Benjamin Zayton), Rigid Theories
- 14:10 Sebastian Enqvist-Pyk, From Herbrand schemes to functional interpretation
- 14:35 Lars Kristiansen, From a computability-theoretic point of view: The real numbers and their representations
15:00–15:20 Coffee break
15:20–16:10 Contributed talks (session chair: Anders Schlichtkrull):
- 15:20 Chirine Yasmine Laghjichi, Atomic steps of computation and 𝛽-reductions
- 15:45 Jørgen Villadsen, Formalizing a Concise Axiomatic System for Classical Propositional Logic in Isabelle/HOL
16:10–16:20 Closing remarks & farewell