Together with Natasha Alechina, Hans van Ditmarsch, and Ram Ramanujam, we organized a Lorentz Center workshop Bundles in Logic (Mar.23-27, 2026), aiming to systematize theories of bundled modalities across various logic subfields, explore their general properties, computational advantages, and applications.
We covered topics such as bundled fragments of first-order modal logic, general theories of propositional modal bundles, and bundles in non-classical logics. The workshop consists of 17 group discussions, 5 tutorials, and 17 long and short talks. There will be a special issue dedicated to bundles.
Leave a Reply