Grafting modalities onto substructural implication systems

DOI10.1023/A:1004947400860MaRDI QIDQ1370459zbMATH OpenOpenAlexFDO

Authors Marcello D'Agostino, Alessandra Russo, Dov Gabbay

Publication date 11 May 1998

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

KE systemKripke semanticslabelled deductive systemslabelled refutation systemmodalitiessubstructural implication logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 823607
• scientific article; zbMATH DE number 2063232
• scientific article; zbMATH DE number 935035
• Kripke semantics for modal substructural logics

Cited in

(8)

• Normal modal substructural logics with strong negation
• Non-normal modalities in variants of linear logic
• Free variable tableaux for propositional modal logics
• Fibred tableaux for multi-implication logics
• Grafted frames and S1 -completeness
• Minimal modal logics, constructive modal logics and their relations
• Local intuitionistic modal logics and their calculi
• Labelled KE for intuitionistic propositional logic

This page was built for publication: Grafting modalities onto substructural implication systems

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