Eugenio Orlandelli, Matteo Tesi. Labelled sequent calculi for logics of strict implication. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 625-642, College Publications, 2022.
Abstract is missing.