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.
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.
Corsi, G., 1987, “Weak logics with strict implication, ” Zeitschrift für Mathematische Logik and Grundlagen der Mathematik 33, 389–406.
D'Agostino, M., Gabby, D.M., and Russo, A., 1997, “Grafting modalities onto substructural implicational systems, ” Studia Logica 59, 65–102.
Dam, M., 1994, “Process-algebraic interpretations of positive linear and relevant logics, ” Journal of Logic and Computation 4, 939–973.
Došen, K., 1988a, “Sequent systems and groupoid models. I, ” Studia Logica 47, 353–385.
Došen, K., 1988b, “Sequent systems and groupoid models. II, ” Studia Logica 48, 41–65.
Ishihara, H., 2000, “A canonical model construction for substructural logics, ” Journal of Universal Computer Science 6, 155–168. 470 N. KAMIDE
Kamide, N., 2002, “Substructural logics with mingle, ” Journal of Logic, Language and Information 11, 227–249
Méndez, J.M., 1987, “A Routley–Meyer semantics for converse Ackermann property, ” Journal of Philosophical Logic 16, 65–76.
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.
Ono, H. and Komori, Y., 1985, “Logics without the contraction rule, ” Journal of Symbolic Logic 50, 169–201.
Sasaki, K., 1999, “Formalizations for the consequence relation of Visser's propositional logic, ” Reports on Mathematical Logic 33, 65–78.
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.
Urquhart, A., 1972, “Semantics for relevant logics, ” Journal of Symbolic Logic 37, 159–169.
Venema, Y., 1995, “Meeting strength in substructural logics, ” Studia Logica 54, 3–32.
Visser, A., 1981, “A propositional logic with explicit fixed points, ” Studia Logica 40, 155–174.
Wansing, H., 1993a, “The logic of information structures, ” Lecture Notes in Artificial Intelligence,Vol. 681, Berlin: Springer-Verlag.
Wansing, H., 1993b, “Informational interpretation of substructural propositional logics, ” Journal of Logic, Language and Information 2, 285–308.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1019915908844