A Project coordinated by IIIA.
Principal investigator:
Collaborating organisations:
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.