Dear all,

We will have a joint LLAMA-LIRa session tomorrow, on Thursday, 9 March 16:30.

This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)

You can find the details of the talk below.

This will be 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

Hope to see you there!

The LIRa team