Normal modal substructural logics with strong negation

DOI10.1023/B:LOGI.0000003928.44012.57zbMath1045.03027OpenAlexW1993190010MaRDI QIDQ1425193

Norihiro Kamide

Publication date: 15 March 2004

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:logi.0000003928.44012.57

zbMATH Keywords

Kripke modelstrong negationlinear modalitiesmodal 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 (3)

Current trends in substructural logics ⋮ Linear and affine logics with temporal, spatial and epistemic operators ⋮ Modal MTL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Routley-Meyer semantics for converse Ackermann property
• Sequent-systems and groupoid models. I
• A propositional logic with explicit fixed points
• The semantics of \(R4\)
• Semantical analyses of propositional systems of Fitch and Nelson
• The logic of information structures
• Informational interpretation of substructural propositional logics
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Meeting strength in substructural logics
• Grafting modalities onto substructural implication systems
• A Sahlqvist theorem for relevant modal logics
• Soft linear logic and polynomial time
• Kripke semantics for modal substructural logics
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• An incomplete relevant modal logic
• Models for relevant modal logics
• Constructible falsity and inexact predicates
• Logics without the contraction rule
• Weak Logics with Strict Implication
• Classically complete modal relevant logics
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• A semantical study of constructible falsity
• Semantics for relevant logics
• Constructible falsity

This page was built for publication: Normal modal substructural logics with strong negation