Coherence for Modalities
K. Dosen, Z. Petric
TL;DR
This paper investigates the coherence properties of positive modalities near S4 and S5 in systems, demonstrating key results and exploring their connections with algebraic structures like Frobenius algebras.
Contribution
It introduces new coherence and maximality results for positive modalities in modal systems close to S4 and S5, linking them with algebraic concepts.
Findings
Coherence and maximality results established.
Connections with mixed distributive laws shown.
Relations to Frobenius algebras explored.
Abstract
Positive modalities in systems in the vicinity of S4 and S5 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Logic, programming, and type systems · Algebraic structures and combinatorial models