Proof systems for the coalgebraic cover modality

abstract. 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.

• Type: Conference
• Year: 2008
• Where: AIML
• Authors: Marta Bílková, Alessandra Palmigiano, Yde Venema
• Keywords: AIML 2008, Complete Sequent Calculus, Logical Reasoning, Positive Modal Logic, Sequent Calculus