Journal of Logic, Language and Information

, Volume 11, Issue 4, pp 453–470

Kripke Semantics for Modal Substructural Logics

  • Norihiro Kamide

DOI: 10.1023/A:1019915908844

Cite this article as:
Kamide, N. Journal of Logic, Language and Information (2002) 11: 453. doi:10.1023/A:1019915908844


We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.

completeness theoremKripke semanticslinear logicmodal substructural logicrelevant logic

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Norihiro Kamide
    • 1
  1. 1.Wakayama National College of TechnologyGobo, WakayamaJapan