A many-sorted variant of Japaridze’s polymodal provability logic
Berger, Gerald, Beklemishev, Lev D, Tompits, HansLanguage:
english
Journal:
Logic Journal of the IGPL
DOI:
10.1093/jigpal/jzy012
Date:
May, 2018
File:
PDF, 547 KB
english, 2018