Constructive modalities with provability smack (bibtex)

Reference:

Tadeusz Litak: Constructive modalities with provability smack, Chapter in Guram Bezhanishvili, ed.: Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, vol. 4, pp. 179–208, Springer, 2014.

Bibtex Entry:

@string{springer="Springer"}
@InCollection{Litak14:trends,
  author =       {Tadeusz Litak},
  title =        {Constructive modalities with provability smack},
  booktitle  =   {Leo Esakia on duality in modal and intuitionistic logics},
  pages    =     {179--208},
  series =       {Outstanding Contributions to Logic},
  volume =       {4},
  year =         {2014},
  publisher =    {Springer},
  editor =       {Guram Bezhanishvili},
  doi =          {10.1007/978-94-017-8860-1_8},
  eprint   =     {1708.05607},
  archivePrefix = {arXiv},
  primaryClass = {cs.LO},
}