MOSAIC
Programme: HORYZONT2020, MSCA-RISE (Marie Skłodowska-Curie Actions, Research and Innovation Staff Exchange)
Title of the project:
MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications
Duration: 09/2021-08/2025
Participants: 29 scientific centers from all over the world: 18 partners from European countries (Poland, Italy, France, Austria, Spain, Czech Republic, Switzerland, the Netherlands, and Great Britain) and 11 partners from outside Europe (Argentina, Brazil, South Africa, USA, and Australia).
Local coordinator: dr hab. Rafał Gruszczyński, prof. UMK
NCU’s unit participating in the project: Department of Logic (Institute of Philosophy, Faculty of Philosophy and Social Sciences)
Project’s content and objectives:
Modal logics are a family of formal systems based on classical logic that aim to improve the expressive power of the latter to allow to reason about "modes of truth." The project puts forward a systematic study of substructural modal logics, understood as modal logics that base their modal operators upon substructural logics - deductive systems weaker than classical logic. The project aims are twofold: (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities. (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic, specifically in knowledge representation, legal reasoning, data privacy and security, and logical analysis of natural language. The grant funds are designated for research stays in universities of non-EU countries in the case of researchers employed in the centers within the European Union and similarly for visits of non-EU researchers to European Union centers. In addition, three conferences and five workshops are planned.
