TREES, BOUQUETS, AND EXTENSIONS OF S4

被引：0

作者：

SCHUMM, GF

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：590 / &

共 50 条

[1] ON SOME EXTENSIONS OF S4
SEGERBERG, K
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 363 - +
[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] T, S4, AND HENKINESQUE TREES
SCHUMM, GF
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 446 - &
[6] STRICT IMPLICATION IN A SEQUENCE OF EXTENSIONS OF S4
ULRICH, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (03): : 201 - 212
[7] DISJUNCTIVE EXTENSIONS OF S4 AND A CONJECTURE OF GOLDBLATTS
SCHUMM, GF
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (01): : 81 - 86
[8] Classification of extensions of the modal logic S4
L. L. Maksimova
Siberian Mathematical Journal, 2013, 54 : 1064 - 1075
[9] Classification of extensions of the modal logic S4
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2013, 54 (06) : 1064 - 1075
[10] 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