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

## AboutI 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. ## Publications- G. Bezhanishvili, J. Harding, J. Ilin, & F. M. Lauridsen, MacNeille transferability and stable classes of Heyting algebras,
*(accepted for publication in Algebra Universalis)*. - F. M. Lauridsen, Intermediate logics admitting a structural hypersequent calculus,
*(accepted for publication in Studia Logica)*. - 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. - F. M. Lauridsen, Bitopological Vietoris spaces and positive modal logic,
*ILLC Publications, Technical Notes (X) Series*. Report no. X-2015-01, 2015.
## Talks- MacNeille transferability.
*Algebra|CoAlgebra Seminar, Amsterdam (March 2018)* - Cuts, Completions, and Canonical rules I, II.
*Algebra Seminar NMSU, Las Cruces (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]
## TeachingTeaching assistant (University of Amsterdam): - Introduction to Modal logic (Bezhanishvili)
2016, 2017
- Mathematical structures in Logic (Bezhanishvili)
2016, 2017
- Recursion Theory (Rodenburg)
2015
Supervision: - 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.
## ServicesI 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. ## ContactVisiting address:Room F2.23, Building F Science Park 107 1098 XG Amsterdam e-mail: f[dot]m[dot]lauridsen[at]uva[dot]nl |