ON SOME EXTENSIONS OF S4

被引：0

作者：

SEGERBERG, K

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：363 / +

页数：1

共 50 条

[1] TREES, BOUQUETS, AND EXTENSIONS OF S4
SCHUMM, GF
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (03) : 590 - &
[2] Unification in Pretabular Extensions of S4
Stepan I. Bashmakov
Logica Universalis, 2021, 15 : 381 - 397
[3] Definability in normal extensions of S4
Maksimova L.L.
Algebra and Logic, 2004, 43 (4) : 217 - 229
[4] Unification in Pretabular Extensions of S4
Bashmakov, Stepan I.
LOGICA UNIVERSALIS, 2021, 15 (03) : 381 - 397
[5] STRICT IMPLICATION IN A SEQUENCE OF EXTENSIONS OF S4
ULRICH, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (03): : 201 - 212
[6] DISJUNCTIVE EXTENSIONS OF S4 AND A CONJECTURE OF GOLDBLATTS
SCHUMM, GF
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (01): : 81 - 86
[7] Classification of extensions of the modal logic S4
L. L. Maksimova
Siberian Mathematical Journal, 2013, 54 : 1064 - 1075
[8] Classification of extensions of the modal logic S4
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2013, 54 (06) : 1064 - 1075
[9] A TEST TO DETERMINE DISTINCT MODALITIES IN THE EXTENSIONS OF S4
BELLISSIMA, F
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (01): : 57 - 61
[10] Weak interpolation in extensions of the logics S4 and K4
A. V. Karpenko
Algebra and Logic, 2008, 47 : 395 - 404