Scandinavian Logic Society - The Nordic Online Logic Seminar

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-12-23	Balder ten Cate Preservation theorems for binary relation algebras
2024-11-25	Wesley Holliday From constructive mathematics and quantum mechanics to Fundamental Logic
2024-10-21	Åsa Hirvonen Looking at quantum mechanics with model theoretic glasses
2024-09-30	Nina Gierasimczuk Coordinating quantity terms: a simulation study in monotonicity and convexity
2024-08-26	Eric Pacuit From paradox to principles: Splitting cycles and breaking ties
2024-06-03	Ivano Ciardelli Inquisitive modal logic: an overview
2024-05-27	Ana María Mora-Márquez Medieval Aristotelian Logic is Scientific Method
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