My main area of interest is philosophical logic, in particular propositional and predicative modal logics. I have worked on completeness problems for intermediate and modal predicative logics as well as on generalizations of Kripke semantics, such as counterpart semantics.