scientific article; zbMATH DE number 2063232

MaRDI QIDQ4460849zbMATH OpenFDO

Authors Osamu Watari, Takeshi Ueno, Koji Nakatogawa, Mayuka F. Kawaguchi, Masaaki Miyakoshi

Publication date 29 March 2004

zbMATH Keywords

modal Lambek calculussubstructural modal 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)

Recommendations

• Modular sequent calculi for classical modal logics
• Label-free modular systems for classical and intuitionistic modal logics
• scientific article; zbMATH DE number 823607
• Modal logic as metalogic
• Deep sequent systems for modal logic

Cited in

(10)

• Grafting modalities onto substructural implication systems
• Formalized meta-theory of sequent calculi for substructural logics
• Modal extensions of sub-classical logics for recovering classical logic
• Nested sequents for intuitionistic modal logics via structural refinement
• Modular sequent calculi for classical modal logics
• Sequent Systems for Lewis’ Conditional Logics
• scientific article; zbMATH DE number 3939326 (Why is no real title available?)
• scientific article; zbMATH DE number 3979042 (Why is no real title available?)
• scientific article; zbMATH DE number 2024634 (Why is no real title available?)
• Modal translation of substructural logics

This page was built for publication:

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