|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 1997, Number 4, Pages 53–55
(Mi vmumm1911)
|
|
|
|
Short notes
The Craig interpolation property in logics of proofs with a strong provability operator
E. E. Zolin
Received: 25.11.1996
Citation:
E. E. Zolin, “The Craig interpolation property in logics of proofs with a strong provability operator”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, no. 4, 53–55
Linking options:
https://www.mathnet.ru/eng/vmumm1911 https://www.mathnet.ru/eng/vmumm/y1997/i4/p53
|
Statistics & downloads: |
Abstract page: | 39 | Full-text PDF : | 20 |
|