Academic

About Me

I’m a PhD-candidate in mathematical logic at the University of Bern (Switzerland) under the supervision of Prof. Dr George Metcalfe.

Research Interests

My research interests are modal and related non-classical logics, including but not limited to

• classical modal logic,
• intuititionistic modal logic,
• dynamic topological logic, and
• Abelian modal logic.

I am mostly interested in semantic (i.e. non-proof-theoretic) approaches, including algebraic, topological and relational semantics and duality theory.

Links

LinkedIn: https://www.linkedin.com/in/nvooijs