Substructural logics with a reflexive transitive closure modality

DOI10.1007/978-3-662-55386-2_25MaRDI QIDQ1685940zbMATH OpenOpenAlexFDO

Authors Igor Sedlár

Publication date 20 December 2017

Full work available at URL https://doi.org/10.1007/978-3-662-55386-2_25

zbMATH Keywords

modal logicsubstructural logicsintuitionistic modal logicreflexive transitive closure

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

• Reflexive-insensitive modal logics
• On modal logic of deductive closure
• Constructive completeness for modal logic with transitive closure
• Two complete finitary sequent calculi for reflexive common knowledge
• scientific article; zbMATH DE number 823607

Cited in

(4)

• Modal translations in substructural logics
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
• Reflexive-insensitive modal logics
• Cyclic hypersequent system for transitive closure logic

This page was built for publication: Substructural logics with a reflexive transitive closure modality

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