Reduction of provability logics to Σ 1 -provability logics
Ardeshir, Mohammad, Mojtahedi, S. MojtabaLanguage:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/jzv031
Date:
August, 2015
File:
PDF, 83 KB
english, 2015