This article is cited in 16 papers

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

Received: 19.10.2012

Language: English

DOI: 10.1007/s11225-013-9490-7

Bibliographic databases:

• 
• 
• 
•