Please note that this newsitem has been archived, and may contain outdated information or links.
7 - 8 August 2023, ESSLLI2023 Workshop "Modalities in substructural logics: Applications at the interfaces of logic, language and computation"
Substructural logics have brought to the fore new forms of reasoning and provided applications for a variety of disciplines. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.The focus of this workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning.
The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.
Submissions are invited through EasyChair at https://easychair.org/cfp/content.cgi?a=30697061. Topics for submissions included but are not limited to:
- Modalities in extended typelogical grammars
- Refinements of the linear exponential: prooftheoretic and semantic aspects
- Modalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolution
- Substructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logic
- Epistemic substructural logics, e.g. Epistemic Separation Logic
- Intuitionistic Modal Logics
- Quantum Dynamic Logic
Please note that this newsitem has been archived, and may contain outdated information or links.