A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)

Victoria Vollmer, Danielle Marshall, Harley Eades +1

Graded modal logics generalise standard modal logics via families of modalities indexed by an algebraic structure whose operations mediate between the different modalities. The gra…