Akka

The Scandinavian Logic Society

The Nordic Online Logic Seminar

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:

https://listserv.gu.se/sympa/subscribe/nordiclogic

Seminars

2024-03-25 Albert Visser: Restricted Sequential Theories
2024-03-04 Lauri Hella: Game characterizations for the number of quantifiers
2024-01-29 Peter Pagin: Switcher Semantics and quantification
2023-12-18 Göran Sundholm: Curry-Howard—a meaning explanation or just another realizability interpretation?
2023-11-27 Sonja Smets: Reasoning about Epistemic Superiority and Data Exchange
2023-10-30 Dag Westerståhl: From consequence to meaning—the case of intuitionistic propositional logic (IPL)
2023-09-25 Thomas Bolander: Epistemic Planning—Logical formalism, computational complexity, and robotic implementations
2023-08-28 Thomas Ågotnes: Somebody Knows and Weak Conjunctive Closure in Modal Logic
2023-05-22 Magdalena Ortiz: A Short Introduction to SHACL for Logicians
2023-04-24 Neil Tennant: It's All or Nothing—Explosion v. Implosion
2023-03-27 Ali Enayat: Arithmetic and set theory through the lens of interpretability
2023-02-27 Sven Ove Hansson: How to combine probabilities and full beliefs in a formal system
2023-01-30 Vann McGee: Boolean Degrees of Truth and Classical Rules of Inference
2022-12-19 Alexandru Baltag: From Surprise Exams to Topological Mu-Calculus
2022-11-28 Laura Crosilla: On Weyl's predicative concept of set
2022-10-24 Melvin Fitting: Strict/Tolerant Logic and Strict/Tolerant Logics
2022-09-26 Jan van Plato: Gödel's work in logic and foundations in the light of his shorthand notebooks
2022-05-30 Øystein Linnebo: Potentialism in the philosophy and foundations of mathematics
2022-04-25 Michael Rathjen: Completeness—Turing, Schütte, Feferman (and Löb)
2022-03-28 Juliette Kennedy: Reading syntax off semantics
2022-02-28 Thierry Coquand: Formalization of Mathematics and Dependent Type Theory
2022-01-24 Johan van Benthem: Interleaving Logic and Counting
2021-12-20 Lars Birkedal: Iris—A Higher-Order Concurrent Separation Logic Framework
2021-11-22 Sara L. Uckelman: John Eliot’s Logick Primer—A bilingual English-Wôpanâaak logic textbook
2021-10-25 Erich Grädel: Semiring semantics for logical statements with applications to the strategy analysis of games
2021-09-27 Anupam Das: On the proof theoretic strength of cyclic reasoning
2021-06-21 Dag Normann: An alternative perspective on Reverse Mathematics
2021-05-24 Wilfrid Hodges: How the teenage Avicenna planned out several new logics
2021-04-26 Jouko Väänänen: Dependence logic—some recent developments
2021-03-22 Dag Prawitz: Validity of inference and argument