Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.
Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.

Leo Esakia on Duality in Modal and Intuitionistic Logics
334
Leo Esakia on Duality in Modal and Intuitionistic Logics
334Paperback(Softcover reprint of the original 1st ed. 2014)
Product Details
ISBN-13: | 9789402403381 |
---|---|
Publisher: | Springer Netherlands |
Publication date: | 06/18/2015 |
Series: | Outstanding Contributions to Logic , #4 |
Edition description: | Softcover reprint of the original 1st ed. 2014 |
Pages: | 334 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.03(d) |