Constructive Modalities with Provability Smack (Author's Cut) (bibtex)

Reference:

Tadeusz Litak: Constructive Modalities with Provability Smack (Author's Cut), 2017. Unabridged and extended version of a chapter in the Esakia volume of "Outstanding Contributions to Logic"

Bibtex Entry:

@misc{litak2017constructive,
    title={Constructive Modalities with Provability Smack (Author's Cut)},
    author={Tadeusz Litak},
    year={2017},
    url = {https://arxiv.org/abs/1708.05607},
    eprint={1708.05607},
    archivePrefix={arXiv},
    primaryClass={cs.LO},
    note = {Unabridged and extended version of a chapter in the Esakia volume of "Outstanding Contributions to Logic"}
}