Joint LLAMA and LIRa session: Johan van Benthem and Nick Bezhanishvili

This was a joint session together with the LLAMA seminar.

Speakers: Johan van Benthem & Nick Bezhanishvili (ILLC, University of Amsterdam)

Date and Time: Thursday, March 9th 2023, 16:30-18:00

Venue: ILLC seminar room F1.15 in Science Park 107 and online.

Title: Modal Structures in Groups and Vector Spaces

Abstract. We analyze modal definability and axiomatizability of modal reasoning in commutative groups and vector spaces, showing where standard modal notions apply and where the fit is less ideal. Our positive results include several completeness theorems using techniques from hybrid logic. In the process, we also identify broader connections with complex algebras, substructural logics, and logics of (in-)dependence.

The talk is based on the recently published article Modal structures in groups and vector spaces, in the Journal of Logic and Computation (February 2023).
open access: https://doi.org/10.1093/logcom/exac105

Note: The slides of this talk are available here.