Sebastian Enqvist

Welcome to my personal webpage!

I am currently employed as a senior lecturer at the Department of Philosophy at Stockholm University, Sweden. I am a logician with a wide interest in the topic. Much of my current research focuses on areas of logic related to theoretical computer science. Some main areas of special interest are:

  • Modal logic
  • Logics of computation, temporal & dynamic logicsĀ 
  • Fixpoint logics
  • Non-wellfounded proofs
  • Automata theory
  • Algebras, co-algebras & duality
  • Game theory

I am also interested in philosophy of mathematics, logical positivism and especially the philosophy of Rudolf Carnap.