Frederik Möllerström Lauridsen

[About]  [Publications]   [Talks]  [Teaching]  [Contact]  


I am a PhD student at the ILLC supervised by Nick Bezhanishvili together with Yde Venema. I am interested in applying methods from algebra and topology to the study of non-classical logics such as intermediate and modal logics.

Before starting my PhD I did a MSc in Logic at the University of Amsterdam and before coming to Amsterdam I took a BSc in Mathematics at the University of Copenhagen.

I am also one of the co-organizers of the Algebra|Coalgebra seminars.



  • Intermediate logics admitting structural hypersequent calculi. TACL, Prague (June 2017).
  • Intermediate logics and structural hypersequent calculi. Seminar of the Theory and Logic Group TU Wien, Vienna (June 2017).
  • Linneæn Logic: A friendly introduction to systematic proof theory. Logic Tea Colloquium, Amsterdam (May 2017).
  • Some observations regarding cut-free hypersequent calculi for intermediate logics. SYSMICS, Barcelona (September 2016).
  • Some observations regarding cut-free hypersequent calculi for intermediate logics. ToLo V, Tbilisi (June 2016).
  • The bounded proof property: Intuitionistic case. ALCOP VII, Vienna (April 2016).
  • One-step algebras and frames for intermediate logics. Workshop on Correspondence and Canonicity in Non-classical Logic, Amsterdam (September 2015). [Erratum]


At the University of Amsterdam I have been a teaching assistant for the followng courses:
  • Introduction to Modal logic (Bezhanishvili)
    2016, 2017
  • Mathematical structures in Logic (Bezhanishvili)
    2016, 2017
  • Recursion Theory (Rodenburg)

I have also supervised student projects on Universal Algebra, Category Theory, and Algebraic Modal Logic.


Visiting address:
Room F2.23, Building F
Science Park 107
1098 XG Amsterdam
e-mail: f[dot]m[dot]lauridsen[at]uva[dot]nl