Kripke semantics for modal substructural logics

DOI10.1023/A:1019915908844zbMATH Open1017.03011OpenAlexW1558962892MaRDI QIDQ1863750FDOQ1863750

Norihiro Kamide

Publication date: 12 March 2003

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1019915908844

zbMATH Keywords

completeness theoremlinear logicKripke semanticsrelevant logicmodal substructural logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited In (17)

• A relational semantics for the logic of bounded lattices
• Effective semantics for the modal logics K and KT via non-deterministic matrices
• Current trends in substructural logics
• Title not available (Why is that?)
• Axiomatization of crisp Gödel modal logic
• Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Canonical extensions and relational completeness of some substructural logics
• Normal modal substructural logics with strong negation
• Linear and affine logics with temporal, spatial and epistemic operators
• Title not available (Why is that?)
• MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
• Kripke Semantics for Basic Sequent Systems
• Modal translations in substructural logics
• Title not available (Why is that?)
• Categories: How I Learned to Stop Worrying and Love Two Sorts
• A uniform framework for substructural logics with modalities

This page was built for publication: Kripke semantics for modal substructural logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1863750)