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. In addition I am also fond of universal algebra, lattice theory and duality theory as topics in and of themselves.

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. J. Gil-Férez, F. M. Lauridsen, and G. Metcalfe, Self-cancellative residuated lattices,
    Submitted 2019.
  2. F. M. Lauridsen, Intermediate logics admitting a structural hypersequent calculus,
    Studia Logica, 107(2) (2019), pp. 247–282.
  3. G. Bezhanishvili, J. Harding, J. Ilin, and F. M. Lauridsen, MacNeille transferability and stable classes of Heyting algebras,
    Algebra Universalis 79(3) (2018), Art. 55, 21 pp.
  4. N. Bezhanishvili, S. Ghilardi, and F. M. Lauridsen, One-step Heyting algebras and hypersequent calculi with the bounded proof property,
    Journal of Logic and Computation, 27(7) (2017), pp. 2135–2169.

In preparation:

  1. J. Harding and F. M. Lauridsen, Hyper-MacNeille completions of Heyting algebras.

Technical reports (not refereed):

  1. F. M. Lauridsen, Bitopological Vietoris spaces and positive modal logic,
    ILLC Publications, Technical Notes (X) Series. Report no. X-2015-01, 2015.


  1. Master's thesis: One-Step Algebras and Frames for Modal and Intuitionistic Logics, University of Amsterdam 2015. [Erratum]
  2. Bachelor's thesis: Strukturen af algebraen af modulformer af niveau 1 modulo p (in Danish), University of Copenhagen 2012.


  • MacNeille transferability for finite lattices.
    LATD VI, Bern (August 2018).
  • MacNeille transferability for finite lattices.
    ToLo VI, Tbilisi (July 2018).
  • MacNeille transferable lattices and stable classes of Heyting algebras.
    Algebra and Duality in Non-classical Logic, Amsterdam (June 2018).
  • Intermediate logics admitting structural hypersequent calculi.
    TACL, Prague (June 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.
    Correspondence and Canonicity in Non-classical Logic, Amsterdam (September 2015).


Teaching assistant (University of Amsterdam):

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


  • Theses:
    • Interpolation for extensions of S5-squared, Thijs Benjamins (co-supervised with Nick Bezhanishvili).
    • A Gödel-style translation from positive calculus into strict implication logic, Jana Haenen (co-supervised with Nick Bezhanishvili).
  • Student projects on:
    • Universal Algebra,
    • Category Theory,
    • 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.


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