The project “Substructural Modal Logics for Knowledge Representation” (SuMoL) is a bilateral  I-LINK project funded by the Spanish National Research Council (CSIC). It involves the Artificial Intelligence Research Institute of the Spanish National Research Council from Barcelona (IIIA-CSIC) and the Institute of Computer Science of the Czech Academy of Science from Prague (ICS-CAS).

The SuMoL project aims at fostering the collaboration between the two IIIA-CSIC and the ICS-CAS by financing 22 research visiting periods (12 of the IIIA-CSIC team to Prague and 10 of the ICS-CAS team to Barcelona) and 2 workshops (one in Prague and one in Barcelona) to be organized in he two years period 2020-2022. 

The scientific aspects of this project aim at putting forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the more general ground of substructural logics.