Kosta Doÿsen and Zoran Petri
Knez Mihailova · arXiv (Cornell University) · 2010
Positive modalities in S4, S5 and systems in their vicinity are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited.