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

Kripke semanticsmodalitieslabelled deductive systemsKE systemlabelled refutation systemsubstructural implication logics

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) Subsystems of classical logic (including intuitionistic logic) (03B20)

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

(5)

• Fibred tableaux for multi-implication logics
• Non-normal modalities in variants of linear logic
• Normal modal substructural logics with strong negation
• Free variable tableaux for propositional modal logics
• Grafted frames and S1 -completeness

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)