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

Les lògiques modals són una família de sistemes formals basats en la lògica clàssica que tenen com a objectiu millorar el poder expressiu del càlcul clàssic permetent raonar sobre "maneres de veritat". L'objectiu de la present proposta és proposar un estudi de lògiques modals sub-estructurals, enteses com aquelles lògiques modals en les quals els operadors modals es basen en el terreny general de lògiques sub-estructurals, sistemes deductius més febles que la lògica clàssica. El nostre objectiu també és explorar les aplicacions de les lògiques modals sub-estructurals fora dels límits de la lògica matemàtica i, en particular, en les àrees de representació del coneixement; raonament jurídic; privacitat i seguretat de les dades; Anàlisi lògica del llenguatge natural.