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 nonclassical 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.
 G. Bezhanishvili, J. Harding, J. Ilin, & F. M. Lauridsen, MacNeille transferability and stable classes of Heyting algebras,
Algebra Universalis, to appear.
 F. M. Lauridsen, Intermediate logics admitting a structural hypersequent calculus,
Studia Logica, to appear.
 N. Bezhanishvili, S. Ghilardi, & F. M. Lauridsen, Onestep Heyting algebras and hypersequent calculi with the bounded proof property,
Journal of Logic and Computation, Vol. 27(7), pp. 2135–2169, 2017.
 F. M. Lauridsen, Bitopological Vietoris spaces and positive modal logic,
ILLC Publications, Technical Notes (X) Series. Report no. X201501, 2015.
 MacNeille transferability for finite lattices.
ToLo VI, Tbilisi (July 2018).
 MacNeille transferablbe lattices and stable classes of Heyting algebras.
Algebra and Duality in Nonclassical Logic, Amsterdam (June 2018).
 Intermediate logics admitting structural hypersequent calculi.
TACL, Prague (June 2017).
 Some observations regarding cutfree hypersequent calculi for intermediate logics.
SYSMICS, Barcelona (September 2016).
 Some observations regarding cutfree hypersequent calculi for intermediate logics.
ToLo V, Tbilisi (June 2016).
 The bounded proof property: Intuitionistic case.
ALCOP VII, Vienna (April 2016).
 Onestep algebras and frames for intermediate logics.
Correspondence and Canonicity in Nonclassical Logic, Amsterdam (September 2015). [Erratum]
This talk was based on my Msc. thesis which unfortunately contains a mistake (Proposition 5.10). Consequently, the calculus for the logic BD_3 presented does not enjoy the bounded proof property.
Teaching assistant (University of Amsterdam):
 Introduction to Modal logic (Bezhanishvili)
2016, 2017, 2018
 Mathematical structures in Logic (Bezhanishvili)
2016, 2017
 Recursion Theory (Rodenburg)
2015
Supervision:
 Theses:
 Interpolation for extensions of S5squared, Thijs Benjamins (cosupervised with Nick Bezhanishvili).
 A Gödelstyle translation from positive calculus into strict implication logic, Jana Haenen (cosupervised 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 coorganizers of the AlgebraCoalgebra seminar.
I help organize:
Visiting address:
Room F2.23, Building F
Science Park 107
1098 XG Amsterdam
email: f[dot]m[dot]lauridsen[at]uva[dot]nl
