Current Position(s)
FWO Senior postdoctoral fellow
Research disciplines
-
Natural sciences
- General algebraic systems
- Order, lattices, ordered algebraic structures
- Mathematical logic and foundations
- Computational logic and formal languages
Expertise
Modal logic
Algebraic logic