Normal Modal Substructural Logics with Strong Negation

摘要

We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics.Kripke model - linear modalities - modal substructural logic - strong negation