\n

Modalitie s in Substructural Logic: Theory Methods and Appli cations (MOSAIC 2022) will be held on 4-11 Septemb er 2022 in Paestum, (Salerno, Italy). The conferen ce is the kick-off meeting of the RISE-MSCA projec t MOSAIC and will be co-located with the Internati onal Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

\n\nThe RISE-MSCA proje ct MOSAIC — “Modalities in Subs tructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive a nd unifying logico-mathematical study of substruct ural modal logics, that is, substructural logics w ith modalities, and (2) Exploring the application of substructural modal logics outside the bounds o f mathematical logic and, in particular, in the ar eas of knowledge representation; legal reasoning; data privacy and security; logical analysis of nat ural language.

\n\nInvited speakers: Silvi o Ghilardi (University of Milan, Italy), Sonia Mar in (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

\n\n

URL:http://logica.dipmat.unisa.it/LATD+MOSAIC/
CONTACT:Nick Bezhanishvili at N.Bezhanishvili at u
va.nl
END:VEVENT
END:VCALENDAR
MOSAIC 2022 invites submissions on a varie
ty of topics on modal substructural logics and the
ir applications. We therefore invite contributions
on relevant aspects of non-classical modal logica
l systems, such as:

\n * Residuated lattices w
ith modal operators;

\n * Relational frames an
d structural properties;

\n * Coalgebras and c
oalgebraic approach to substructural modal logics;

\n * Correspondence theory;

\n * Fixpoint
logics;

\n * Proof theory and complexity for
substructural modal logics;

\n * Modal logics
for reasoning about norms, time, preferences, unce
rtainty;

\n * Applications of substructural mo
dal logics to KRR and learning.

Abstra cts of contributed talks of 2-4 pages are to be pr epared using the EasyChair class style.

\n