Skip to Main Content (Press Enter)

Logo UNIMI
  • ×
  • Home
  • People
  • Projects
  • Fields
  • Units
  • Outputs
  • Third Mission

Expertise & Skills
Logo UNIMI

|

Expertise & Skills

unimi.it
  • ×
  • Home
  • People
  • Projects
  • Fields
  • Units
  • Outputs
  • Third Mission
  1. Projects

Modalities in Substructural Logics: Theory, Methods and Applications (MOSAIC)

Project
Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about “modes of truth”. The aim of the present proposal is to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the general ground of substructural logics, weaker deductive systems than classical logic. Our aim is also to explore the applications of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.
  • Overview
  • Research Areas
  • Publications

Overview

Contributors

HOSNI HYKEL   Scientific Manager  

Departments involved

Dipartimento di Filosofia Piero Martinetti   Principale  

Type

H20MC_RISE - Horizon 2020_Marie Skłodowska-Curie actions-International and inter-sectoral cooperation through the Research and Innovation Staff Exchanges (RISE)

Funder

EUROPEAN COMMISSION
External Organization Funding Organization

Date/time interval

September 1, 2021 - April 30, 2026

Project duration

56 months

Research Areas

Concepts


Settore M-FIL/02 - Logica e Filosofia della Scienza

Publications

Outputs (8)

A calculus for modal compact Hausdorff spaces 
JOURNAL OF LOGIC AND COMPUTATION
OXFORD UNIV PRESS
2025
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
Epimorphisms between finitely generated algebras 
INDAGATIONES MATHEMATICAE
ELSEVIER B.V.
2025
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
On the universal theory of the free pseudocomplemented distributive lattice 
JOURNAL OF ALGEBRA
ACADEMIC PRESS : ELSEVIER
2025
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
An interview with Vaishak Belle 
THE REASONER
UNIVERSITY OF KENT
2024
Academic Article
Interview with Erica Thompson 
THE REASONER
2023
Academic Article
Interview with Josef Urban 
THE REASONER
2023
Academic Article
Logical perspectives on the foundations of probability 
OPEN MATHEMATICS
DE GRUYTER OPEN
2023
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
A Gödel Modal Logic over Witnessed Crisp Models 
LECTURE NOTES IN COMPUTER SCIENCE
SPRINGER
2025
Conference Paper
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
  • Guide
  • Help
  • Accessibility
  • Privacy
  • Use of cookies
  • Legal notices

Powered by VIVO | Designed by Cineca | 26.5.1.0