Proof systems for the coalgebraic cover modality
Marta Bílková, Alessandra Palmigiano, Yde Venema, Areces, C., Goldblatt, R. · UvA-DARE (University of Amsterdam) · 2008
We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a sound and complete Hilbert-style axiomatization. Moreover, we give a two-sided sound and complete sequent calculus for the negation-free language, and for the language with negation we provide a one-sided sequent calculus which is sound, complete and cut-free.