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

Las lógicas modales son una familia de sistemas formales basados en la lógica clásica que tienen como objetivo mejorar el poder expresivo del cálculo clásico permitiendo razonar sobre "modos de verdad". El objetivo de la presente propuesta es proponer unaEstudio de lógicas modales subestructurales, entendidas como aquellas lógicas modales en las que los operadores modales se basan en el terreno general de lógicas subestructurales, sistemas deductivos más débiles que la lógica clásica. Nuestro objetivo también es explorar las aplicaciones de las lógicas modales subestructurales fuera de los límites de la lógica matemática y, en particular, en las áreas de representación del conocimiento; razonamiento jurídico; privacidad y seguridad de los datos; Análisis lógico del lenguaje natural.