Proof systems for the coalgebraic cover modality

Open Access
Authors
Publication date 2008
Host editors
  • C. Areces
  • R. Goldblatt
Book title Advances in Modal Logic 7
ISBN
  • 9781904987680
Event Advances in Modal Logic 2008 (AiML-2008), Nancy, France
Pages (from-to) 1-21
Publisher London: College Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Conference contribution
Language English
Published at http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf
Downloads
299309.pdf (Final published version)
Permalink to this page
Back