Skip to main content
Log in

Kripke Semantics for Modal Substructural Logics

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Bucalo, A., 1994, “Modalities in linear logic weaker than the exponential ‘of course’: Algebraic and relational semantics, ” Journal of Logic, Language, and Information 3, 211–232.

    Google Scholar 

  • Corsi, G., 1987, “Weak logics with strict implication, ” Zeitschrift für Mathematische Logik and Grundlagen der Mathematik 33, 389–406.

    Google Scholar 

  • D'Agostino, M., Gabby, D.M., and Russo, A., 1997, “Grafting modalities onto substructural implicational systems, ” Studia Logica 59, 65–102.

    Google Scholar 

  • Dam, M., 1994, “Process-algebraic interpretations of positive linear and relevant logics, ” Journal of Logic and Computation 4, 939–973.

    Google Scholar 

  • Došen, K., 1988a, “Sequent systems and groupoid models. I, ” Studia Logica 47, 353–385.

    Google Scholar 

  • Došen, K., 1988b, “Sequent systems and groupoid models. II, ” Studia Logica 48, 41–65.

    Google Scholar 

  • Ishihara, H., 2000, “A canonical model construction for substructural logics, ” Journal of Universal Computer Science 6, 155–168. 470 N. KAMIDE

    Google Scholar 

  • Kamide, N., 2002, “Substructural logics with mingle, ” Journal of Logic, Language and Information 11, 227–249

    Google Scholar 

  • Méndez, J.M., 1987, “A Routley–Meyer semantics for converse Ackermann property, ” Journal of Philosophical Logic 16, 65–76.

    Google Scholar 

  • Ono, H., 1993, “Semantics for substructural logics, ” pp. 259–291 in Substructural Logics, K. Došen and P. Schroeder-Heister, eds., Oxford: Oxford University Press.

    Google Scholar 

  • Ono, H. and Komori, Y., 1985, “Logics without the contraction rule, ” Journal of Symbolic Logic 50, 169–201.

    Google Scholar 

  • Sasaki, K., 1999, “Formalizations for the consequence relation of Visser's propositional logic, ” Reports on Mathematical Logic 33, 65–78.

    Google Scholar 

  • Suzuki, Y. and Ono, H., 1997, “Hilbert style proof system for BPL, ” JAIST Research Report.

  • Troelstra, A.S., 1992, Lectures on Linear Logic, CSLI Lecture Notes, Vol. 29, Stanford, CA: CSLI.

    Google Scholar 

  • Urquhart, A., 1972, “Semantics for relevant logics, ” Journal of Symbolic Logic 37, 159–169.

    Google Scholar 

  • Venema, Y., 1995, “Meeting strength in substructural logics, ” Studia Logica 54, 3–32.

    Google Scholar 

  • Visser, A., 1981, “A propositional logic with explicit fixed points, ” Studia Logica 40, 155–174.

    Google Scholar 

  • Wansing, H., 1993a, “The logic of information structures, ” Lecture Notes in Artificial Intelligence,Vol. 681, Berlin: Springer-Verlag.

    Google Scholar 

  • Wansing, H., 1993b, “Informational interpretation of substructural propositional logics, ” Journal of Logic, Language and Information 2, 285–308.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kamide, N. Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11, 453–470 (2002). https://doi.org/10.1023/A:1019915908844

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1019915908844

Navigation