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. 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.
Papers:
 J. GilFérez, F. M. Lauridsen, and G. Metcalfe, Selfcancellative residuated lattices,
Submitted 2019.
 F. M. Lauridsen, Intermediate logics admitting a structural hypersequent calculus,
Studia Logica, 107(2) (2019), pp. 247–282.
 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.
 N. Bezhanishvili, S. Ghilardi, and F. M. Lauridsen, Onestep Heyting algebras and hypersequent calculi with the bounded proof property,
Journal of Logic and Computation, 27(7) (2017), pp. 2135–2169.
In preparation:
 J. Harding and F. M. Lauridsen, HyperMacNeille completions of Heyting algebras.
Technical reports (not refereed):
 F. M. Lauridsen, Bitopological Vietoris spaces and positive modal logic,
ILLC Publications, Technical Notes (X) Series. Report no. X201501, 2015.
Theses:
 Master's thesis: OneStep Algebras and Frames for Modal and Intuitionistic Logics, University of Amsterdam 2015. [Erratum]
Unfortunately my thesis contains a mistake in the proof of Proposition 5.10. Consequently, the claims made about the calculus presented for the logic BD_3 are not correct. Fortunately, these claims are not included in the paper [1].
 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 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).
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.
Visiting address:
Room F2.23, Building F
Science Park 107
1098 XG Amsterdam
email: f[dot]m[dot]lauridsen[at]uva[dot]nl
