Proof Systems for the Coalgebraic Cover Modality

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F08%3A00320237" target="_blank" >RIV/67985807:_____/08:00320237 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Proof Systems for the Coalgebraic Cover Modality
Original language description
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 soundand 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.
Czech name
Důkazové systémy pro koalgebraickou modalitu
Czech description
Článek zkoumá alternativní prezentaci klasické a positivní modální logiky v jazyce s koalgebraickou modalitou pokrytí jako primitivním operátorem. Pro obě logiky prezentujeme korektní a úplnou hilbertovskou axiomatizaci, korektní a úplný sekventový kalkul s oboustrannými sekventy a korektní, úplný a bezřezový sekventový kalkul s jednostrannými sekventy.

Project
<a href="/en/project/IAA900090703" target="_blank" >IAA900090703: Dynamic Formal Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)