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.Comment: 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.