Frederik Möllerström Lauridsen

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


I am a PhD student at the ILLC supervised by Nick Bezhanishvili and 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 obtained a MSc in Logic from the University of Amsterdam and before coming to Amsterdam I studied Mathematics at the University of Copenhagen.


  1. G. Bezhanishvili, J. Harding, J. Ilin & F. M. Lauridsen, MacNeille transferability and stable classes of Heyting algebras,
    (accepted for publication in Algebra Universalis).
  2. F. M. Lauridsen, Intermediate logics admitting a structural hypersequent calculus,
    (accepted for publication in Studia Logica).
  3. N. Bezhanishvili, S. Ghilardi & F. M. Lauridsen, One-step Heyting algebras and hypersequent calculi with the bounded proof property,
    Journal of Logic and Computation, Vol. 27(7), pp. 2135–2169, 2017.
  4. F. M. Lauridsen, Bitopological Vietoris spaces and positive modal logic,
    ILLC Publications, Technical Notes (X) Series. Report no. X-2015-01, 2015.


  • Cuts, Completions, and Canonical rules I, II.
    Algebra Seminar NMSU, New Mexico (February 2018)
  • 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]


Teaching assistant (University of Amsterdam):

  • Introduction to Modal logic (Bezhanishvili)
    2016, 2017
  • Mathematical structures in Logic (Bezhanishvili)
    2016, 2017
  • Recursion Theory (Rodenburg)


  • Thijs Benjamin's Bachelor's thesis: "Interpolation for extensions of S5-squared" (co-supervised with Nick Bezhanishvili).
  • Student projects on: Universal Algebra, Category Theory, and Algebraic Modal Logic.


I have been a reviewer for the following journals:

  • Studia Logica;
  • Journal of Logic and Computation;
  • Logic Journal of the IGPL;
  • Reports on Mathematical Logic.

Since September 2015 I have been one of the co-organizers of the Algebra|Coalgebra seminar.

I help organize the 2nd. SYSMICS Summer School in Les Diablerets, Switzerland.


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