Proof systems for the coalgebraic cover modality
Proof systems for the coalgebraic cover modality
复制标题
煤代数覆盖模态的证明系统
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Y. Venema
中科院分区：
文献类型：
--
作者：
M. Bílková;A. Palmigiano;Y. Venema
我们研究了经典和正模态逻辑的另一种表示，其中共代数覆盖模态被视为原语。对于每一个逻辑，我们提出了一个健全的和完整的希尔伯特式公理化。此外，对于无否定的语言，我们给出了一个双边的健全的完全的序列演算;对于有否定的语言，我们给出了一个单侧的健全的完全的无割的序列演算.
We investigate an alternative presentation of classical and pos- itive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a sound and complete Hilbert-styl e axiomatiza- tion. Moreover, we give a two-sided sound and complete seque nt calculus for the negation-free language, and for the language with negat ion we provide a one-sided sequent calculus which is sound, complete and cu t-free.