TY - GEN
T1 - Proof systems for the coalgebraic cover modality
AU - Bílková, Marta
AU - Palmigiano, Alessandra
AU - Venema, Yde
PY - 2008/12/1
Y1 - 2008/12/1
N2 - 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.
AB - 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.
KW - Coalgebra
KW - Coalgebraic modality
KW - Completeness
KW - Derivation system
KW - Gentzen calculus
KW - Modal logic
UR - http://www.scopus.com/inward/record.url?scp=77956784718&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956784718&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:77956784718
SN - 1904987206
SN - 9781904987680
T3 - Advances in Modal Logic 2006
SP - 1
EP - 21
BT - Advances in Modal Logic 2008
T2 - 7th Conference on Advances in Modal Logic, AiML-2008
Y2 - 9 September 2008 through 12 September 2008
ER -