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 pre

Project Details

Description

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.
Short titleMOSAIC
AcronymMOSAIC
StatusActive
Effective start/end date1/09/2130/04/26

Collaborative partners

  • Spanish National Research Council (CSIC) (lead)
  • National Scientific and Technical Research Council
  • Università degli Studi di Salerno
  • Universitat de Barcelona (UB)
  • University of Amsterdam
  • Ustav Informatiky AV CR (USTINOF)
  • Institute of Information Theory and Automation
  • Universität Bern
  • Universitat Mikola Kopernica
  • The State University of Campinas (UNICAMP)
  • Vienna University of Technology
  • University of Denver Colorado Seminary
  • Australian National University
  • University of the Witwatersrand
  • La Trobe University
  • University of Milan
  • University College London (UCL)
  • Universidade Federal do Rio Grande do Norte
  • University of Sydney (USYD)
  • Chapman University
  • Commonwealth Scientific and Industrial Research Organisation (CSIRO)
  • University of Bologna
  • Stichting VU
  • National Institute of Applied Sciences - Val de Loire centre (INSA CVL)
  • University of Queensland (UQ)
  • Università Degli Studi di Genova
  • University of Utrecht (UU)
  • Università degli Studi dell'Insubria
  • Universitat Autònoma de Barcelona (UAB)

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.