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
Kripke semanticsmodalitieslabelled deductive systemsKE systemlabelled refutation systemsubstructural implication logics
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
This page was built for publication: Grafting modalities onto substructural implication systems