Craig interpolation property for operator logics of proofs

被引：0

作者：

Sidon, TL ^{[1
]}

机构：

[1] Moscow State Univ, Moscow, Russia

来源：

VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA | 1998年 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：34 / 38

页数：5

共 50 条

[1] Craig interpolational property in logics of proofs with strong provability operator
Zolin, EE
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1997, (04): : 53 - 55
[2] Craig's Interpolation Property in Pretabular Logics
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (02) : 344 - 350
[3] Craig Interpolation in Displayable Logics
Brotherston, James
Gore, Rajeev
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2011, 6793 : 88 - 103
[4] Craig interpolation for semilinear substructural logics
Marchioni, Enrico
Metcalfe, George
MATHEMATICAL LOGIC QUARTERLY, 2012, 58 (06) : 468 - 481
[5] The decidability of craig’s interpolation property in well-composed J-logics
L. L. Maksimova
Siberian Mathematical Journal, 2012, 53 : 839 - 852
[6] The decidability of craig's interpolation property in well-composed J-logics
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2012, 53 (05) : 839 - 852
[7] Preservation of Craig interpolation by the product of matrix logics
Sernadas, C.
Rasga, J.
Sernadas, A.
JOURNAL OF APPLIED LOGIC, 2013, 11 (03) : 328 - 349
[8] Craig Interpolation of Epistemic Logics with Distributed Knowledge
Murai, Ryo
Sano, Katsuhiko
FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 211 - 221
[9] TEMPORAL LOGICS WITH THE NEXT OPERATOR DO NOT HAVE INTERPOLATION OR THE BETH PROPERTY
MAKSIMOVA, LL
SIBERIAN MATHEMATICAL JOURNAL, 1991, 32 (06) : 989 - 993
[10] PROPOSITIONAL LOGICS WITH STRONG NEGATION AND THE CRAIG INTERPOLATION THEOREM
GORANKO, VF
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1985, 38 (07): : 825 - 827

← 1 2 3 4 5 →