L. L. Maksimova, “Interpolation in infinite-layered extensions of provability logic”, Algebra Logika, 1988, Volume 27, Number 5,Pages <nobr>581

JOURNALS // Algebra i logika // Archive

Algebra Logika, 1988 Volume 27, Number 5, Pages 581–603 (Mi al2033)

This article is cited in 2 papers

Interpolation in infinite-layered extensions of provability logic

L. L. Maksimova

UDC: 410.64:512.57

Received: 11.03.1987

Fulltext: PDF file (7390 kB)
Cited by

English version: DOI: 10.1007/BF01982275

Bibliographic databases: