Grafting modalities onto substructural implication systems

DOI10.1023/A:1004947400860zbMath0888.03011OpenAlexW1541647616MaRDI QIDQ1370459

Alessandra Russo, Marcello D'Agostino, Dov M. 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)

Related Items

Non-normal modalities in variants of linear logic ⋮ Free variable tableaux for propositional modal logics ⋮ Normal modal substructural logics with strong negation ⋮ Fibred tableaux for multi-implication logics

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