Bundles in Logic

In logic, quantifiers and modalities are both important in formalizing mathematical and philosophical theories. Bundled modalities are constructions combining quantifiers with modalities together, forming operators with inner structures, to capture theories that are of mathematical and philosophical interest. They are abundant in logic, exemplified by temporal logic, logics of know-wh, strategic logic, quantified dynamic epistemic logic, neighborhood modal logic, and so on. However, these bundles remained underexplored in a systematic manner until recently. Latest investigations on such cases suggest bundled modalities share general properties, enabling novel results like new decidable fragments of first-order modal logic and epistemic interpretations of non-classical logics.

We envisage that bundled modalities will play a role in finding novel succinct logical languages, with minimal symbolic notation but large expressive power, that are well-suited for the specification of information and information dynamics, and in that way may contribute to the further development of robust, explainable and computationally efficient AI. This workshop aims to systematize theories of bundled modalities across logic subfields, exploring their general properties, computational advantages, and applications. The workshop fosters interdisciplinary dialogue to establish bundled modalities as a cohesive paradigm in logic.