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).
\nThe RISE-MSCA project MOSAIC — “Modal ities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a co mprehensive and unifying logico-mathematical study of substructural modal logics, that is, substruct ural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particul ar, in the areas of knowledge representation; lega l reasoning; data privacy and security; logical an alysis of natural language.
\nInvited spea kers: Silvio Ghilardi (University of Milan, Italy) , Sonia Marin (University of Birmingham, UK), Nico la Olivetti (Aix-Marseille University, France), Sa ra Ugolini (IIIA - CSIC of Barcelona, Spain).
\ nMOSAIC 2022 invites submissions
on a variety of topics on modal substructural log
ics and their applications. We therefore invite co
ntributions on relevant aspects of non-classical m
odal logical systems, such as:
\n * Residuated
lattices with modal operators;
\n * Relationa
l frames and structural properties;
\n * Coalg
ebras and coalgebraic approach to substructural mo
dal logics;
\n * Correspondence theory;
\n
* Fixpoint logics;
\n * Proof theory and comp
lexity for substructural modal logics;
\n * Mo
dal logics for reasoning about norms, time, prefer
ences, uncertainty;
\n * Applications of subst
ructural modal logics to KRR and learning.
Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style.\n