Substructural Logics with a Reflexive Transitive Closure Modality.

Igor Sedlr

Browse the full WoLLIC paper archive.