Constructive Modalities with Provability Smack
arXiv:1708.05607 · doi:10.1007/978-94-017-8860-1_8
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.
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."