Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609)

A semantic study of a family of modal intuitionistic linear systems is presented. Various logics are provided with both an algebraic and a relational semantics to obtain completeness results. A modal operator \(\square\) satisfies only one rule and the exponential ``of course'' of linear logic is defined by a subset \(\mathcal W\) of a list of axioms. An algebraic semantics is defined by interpreting the modality \(\square\) as an operation \(\mu\) on an IL-algebra. A relational semantics is based on pretopologies with an additional binary relation \(r\) between information states. The interpretation of \(\square\) differs from the traditional one in classical modal logic. It is proved that such models provide a complete semantics for the minimal modal system, as well as, by requiring suitable conditions on \(r\), for any of its extensions axiomatized by any subset \(\mathcal W\). An embedding theorem for modal IL-algebras into complete ones is proved. A duality between the introduced general frames and modal IL-algebras is obtained.