A many-sorted variant of Japaridze's polymodal provability logic

Berger, Gerald; Beklemishev, Lev D.; Tompits, Hans

doi:10.1093/jigpal/jzy012

by Gerald Berger, Lev D. Beklemishev, Hans Tompits

Reference:

A many-sorted variant of Japaridze's polymodal provability logicGerald Berger, Lev D. Beklemishev, Hans TompitsLogic Journal of the IGPL, volume 26, number 5, pages 505–538, 2018.

Bibtex Entry:

@article{DBLP:journals/igpl/BergerBT18,
  author    = {Gerald Berger and
               Lev D. Beklemishev and
               Hans Tompits},
  title     = {A many-sorted variant of Japaridze's polymodal provability logic},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {26},
  number    = {5},
  pages     = {505--538},
  year      = {2018},
  url       = {https://doi.org/10.1093/jigpal/jzy012},
  doi       = {10.1093/jigpal/jzy012},
  timestamp = {Mon, 15 Oct 2018 16:40:18 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/igpl/BergerBT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}