Constructive Modalities with Provability Smack
Logic in Computer Science
2017-08-21 v1
Abstract
I overview the work of the Tbilisi school on intuitionistic modal logics of well-founded/scattered structures and its connections with contemporary theoretical computer science. Fixed-point theorems and their consequences are of particular interest.
Cite
@article{arxiv.1708.05607,
title = {Constructive Modalities with Provability Smack},
author = {Tadeusz Litak},
journal= {arXiv preprint arXiv:1708.05607},
year = {2017}
}
Comments
The paper is a modified and extended version ("Author's Cut") of my contribution for the "Leo Esakia on Duality in Modal and Intuitionistic Logics."