Daniel Gallin

• Finite mathematics
• Intensional and higher-order modal logic