SuMoL
SuMoL

SuMoL
SuMoL
 : 
Substructural Modal Logistics For Knowledge Representation
Substructural Modal Logistics For Knowledge Representation

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

CSIC
CSIC

Funding call:

Funding call URL:

Project #:

LINKC20018
LINKC20018

Funding amount:

13.518,00€
13.518,00€

Duration:

01/Jan/2020
01/Jan/2020
31/Dec/2022
31/Dec/2022

Extension date:

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. 

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. 

No publications uploaded yet
Tommaso Flaminio
Tenured Scientist
Lluís Godo
Research Professor
Phone Ext. 217

Felip Manyà
Tenured Scientist
Phone Ext. 248