RUS
ENG
Full version
JOURNALS
// Studia Logica
// Archive
Studia Logica, 2016, Volume 104, Issue 1,
Pages
1–46
(Mi stlog1)
This article is cited in
1
paper
Franco Montagna's work on provability logic and many-valued logic
Lev Beklemishev
ab
,
Tommaso Flaminio
c
a
Steklov Mathematical Institute, Russian Academy of Sciences, Gubkina str. 8, Moscow, Russia
b
National Research University Higher School of Economics, Vavilova str. 7, Moscow, Russia
c
Department of Theoretical and Applied Sciences, University of Insubria, Via Mazzini 5, Varese, Italy
Received:
28.10.2015
Language:
English
DOI:
10.1007/s11225-016-9654-3
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026