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 nonclassical 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 coorganizers of the AlgebraCoalgebra 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 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. Workshop on 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.
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)
2015
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
email: f[dot]m[dot]lauridsen[at]uva[dot]nl
