Эта публикация цитируется в 16 статьях

On provability logics with linearly ordered modalities

L. D. Beklemishev^abc, D. Fernández-Duque^d, J. J. Joosten<sup>e

a</sup> National Research University Higher School of Economics, Moscow, Russia
^b V. A. Steklov Mathematical Institute, RAS
^c Moscow M.V. Lomonosov State University
^d Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Seville, Spain
^e Department of Logic, History and Philosophy of Science, Universitat de Barcelona, Barcelona, Spain

Поступила в редакцию: 19.10.2012

Язык публикации: английский

DOI: 10.1007/s11225-013-9490-7

Реферативные базы данных:

• 
• 
• 
•