Composition of an intuitionistic negation and negative modalities as a necessity operator

被引：4
|
作者：
Drobyshevich, S. A. [1 ,2 ]
机构：
[1] Sobolev Inst Math, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, Novosibirsk 630090, Russia
来源：
ALGEBRA AND LOGIC | 2013年 / 52卷 / 03期
关键词：
intuitionistic negation; negative modalities; necessity operator; finite model property; decidability;
D O I：
10.1007/s10469-013-9235-8
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
The main objective of the paper is to axiomatize operators - Anot sign and - a-aEuro(2) in logics N* and HKa-aEuro(2), respectively. The result is formulated in terms of normal extensions HKNa-aEuro(2) and HKNR of the logic HKa-, which are embedded in corresponding logics via a natural translation. In addition, for the logic HKNR, the finite model property and decidability are established using a hybrid calculus.
引用
收藏
页码：203 / 221
页数：19
相关论文
共 50 条
12345