Arxiv-Social,
#arxivsocial_computerscience Title: Constructive Modalities with Provability…
Leo Esakia on Duality in Modal and Intuitionistic Logics
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Esakia’s Biography and Bibliography
-
Altmetric BadgeChapter 2 Canonical Extensions, Esakia Spaces, and Universal Models
-
Altmetric BadgeChapter 3 Free Modal Algebras Revisited: The Step-by-Step Method
-
Altmetric BadgeChapter 4 Easkia Duality and Its Extensions
-
Altmetric BadgeChapter 5 On the Blok-Esakia Theorem
-
Altmetric BadgeChapter 6 Modal Logic and the Vietoris Functor
-
Altmetric BadgeChapter 7 Logic KM : A Biography
-
Altmetric BadgeChapter 8 Constructive Modalities with Provability Smack
-
Altmetric BadgeChapter 9 Cantor-Bendixson Properties of the Assembly of a Frame
-
Altmetric BadgeChapter 10 Topological Interpretations of Provability Logic
-
Altmetric BadgeChapter 11 Derivational Modal Logics with the Difference Modality