Kripke semantics for modal substructural logics

DOI10.1023/A:1019915908844zbMath1017.03011OpenAlexW1558962892MaRDI QIDQ1863750

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

linear logicrelevant logiccompleteness theoremKripke semanticsmodal 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)

Related Items (10)

Current trends in substructural logics ⋮ Linear and affine logics with temporal, spatial and epistemic operators ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Normal modal substructural logics with strong negation ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Canonical extensions and relational completeness of some substructural logics ⋮ Axiomatization of crisp Gödel modal logic ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ A relational semantics for the logic of bounded lattices

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