Skip to Main Content (Press Enter)

Logo UNIMI
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione

Expertise & Skills
Logo UNIMI

|

Expertise & Skills

unimi.it
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione
  1. Attività

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

Progetto
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.
  • Dati Generali
  • Aree Di Ricerca
  • Pubblicazioni

Dati Generali

Partecipanti

HOSNI HYKEL   Responsabile scientifico  

Dipartimenti coinvolti

Dipartimento di Filosofia Piero Martinetti   Principale  

Tipo

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

Finanziatore

EUROPEAN COMMISSION
Organizzazione Esterna Ente Finanziatore

Capofila

CSIC - CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS

Periodo di attività

Settembre 1, 2021 - Agosto 31, 2025

Durata progetto

48 mesi

Aree Di Ricerca

Settori


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

Pubblicazioni

Pubblicazioni (8)

A calculus for modal compact Hausdorff spaces 
JOURNAL OF LOGIC AND COMPUTATION
OXFORD UNIV PRESS
2025
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
Epimorphisms between finitely generated algebras 
INDAGATIONES MATHEMATICAE
ELSEVIER B.V.
2025
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
On the universal theory of the free pseudocomplemented distributive lattice 
JOURNAL OF ALGEBRA
ACADEMIC PRESS : ELSEVIER
2025
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
An interview with Vaishak Belle 
THE REASONER
UNIVERSITY OF KENT
2024
Articolo
Interview with Erica Thompson 
THE REASONER
2023
Articolo
Interview with Josef Urban 
THE REASONER
2023
Articolo
Logical perspectives on the foundations of probability 
OPEN MATHEMATICS
DE GRUYTER OPEN
2023
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
A Gödel Modal Logic over Witnessed Crisp Models 
LECTURE NOTES IN COMPUTER SCIENCE
SPRINGER
2025
Contributo in Atti di convegno
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
  • Informazioni
  • Assistenza
  • Accessibilità
  • Privacy
  • Utilizzo dei cookie
  • Note legali

Realizzato con VIVO | Progettato da Cineca | 25.11.5.0