Please note that this newsitem has been archived, and may contain outdated information or links.
7 - 8 August 2023, ESSLLI Workshop "Modalities in substructural logics: applications at the interfaces of logic, language and computation" (AMSLO23)
By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.
The focus of the 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 welcomes contributions on topics including, but not limited to,
Modalities in extended typelogical grammarsRefinements of the linear exponential: prooftheoretic and semantic aspectsModalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolutionSubstructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logicEpistemic substructural logics, e.g. Epistemic Separation LogicIntuitionistic Modal LogicsQuantum Dynamic Logic
We invite anonymized submissions of either (1) short papers of up to 4 pages, or (2) full articles of up to 12 pages. Short papers can be reporting on existing or in progress work. Full articles should be original work that has not been published or submitted elsewhere. Each submission will be refereed by three PC members. Accepted full articles will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS), available at the workshop.
Please note that this newsitem has been archived, and may contain outdated information or links.