Fernández-Duque David

Публикации в базе данных Math-Net.Ru

1. On provability logics with linearly ordered modalities
   
   Studia Logica, 102:3 (2014),  541–566