- From KLM-style conditionals to defeasible modalities, and back
- Truth without standard models: some conceptual problems reloaded
- Judgement aggregation in non-classical logics
- Trust and agency in the context of communication
- A general framework for dynamic epistemic logic: towards canonical correspondences
- Logics for extended distributive contact lattices
- The monadic hybrid calculus
- Unification in epistemic logics
- Definability in the class of all -frames – computability and complexity