Decision Problems of some Intermediate Logics and Their Fragments

被引：0

|

作者：

Svejdar, Vitezslav ^{[1
]}

机构：

[1] Charles Univ Prague, Dept Log, Prague 11638 1, Czech Republic

来源：

LOGICA YEARBOOK 2009 | 2010年

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：297 / 307

页数：11

相关论文

共 50 条

[1] SOME PROBLEMS ON INTERMEDIATE PREDICATE LOGICS
RAUSZER, C
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1438 - 1438
[2] The density of truth in monadic fragments of some intermediate logics
Kostrzycka Z.
Journal of Logic, Language and Information, 2007, 16 (3) : 283 - 302
[3] On the existence of continua of logics between some intermediate predicate logics
Skvortsov D.
Studia Logica, 2000, 64 (2) : 257 - 270
[4] Complexity of some language fragments of fuzzy logics
Zuzana Haniková
Soft Computing, 2017, 21 : 69 - 77
[5] Complexity of some language fragments of fuzzy logics
Hanikova, Zuzana
SOFT COMPUTING, 2017, 21 (01) : 69 - 77
[6] Two decision problems in Contact Logics
Balbiani, Philippe
Gencer, Cigdem
Ozdemir, Zafer
LOGIC JOURNAL OF THE IGPL, 2019, 27 (01) : 8 - 32
[7] Admissibility and refutation: some characterisations of intermediate logics
Goudsmit, Jeroen P.
ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (7-8) : 779 - 808
[8] Admissibility and refutation: some characterisations of intermediate logics
Jeroen P. Goudsmit
Archive for Mathematical Logic, 2014, 53 : 779 - 808
[9] One-variable fragments of intermediate logics over linear frames
Caicedo, Xavier
Metcalfe, George
Rodriguez, Ricardo
Tuyt, Olim
INFORMATION AND COMPUTATION, 2022, 287
[10] DECISION PROCEDURES FOR SOME STRONG HYBRID LOGICS
Indrzejczak, Andrzej
Zawidzki, Michal
LOGIC AND LOGICAL PHILOSOPHY, 2013, 22 (04) : 389 - 409

← 1 2 3 4 5 →