Non-classical logics
Our group investigates logical systems using algebra and topology to establish links between syntax and semantic.
Algebra and logic
Our team investigates non-classical logics by exploring their algebraic counterparts. To do so, we develop and apply Stone-type dualities. Our primary interest is in non-classical logics and their modal extensions.
Head of Group
