Substructural logics with a reflexive transitive closure modality

DOI10.1007/978-3-662-55386-2_25zbMATH Open1496.03092OpenAlexW2731482537MaRDI QIDQ1685940

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)

Related Items (1)

Cyclic hypersequent system for transitive closure logic

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