Leo Esakia on Duality in Modal and Intuitionistic Logics
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.

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.

1118620312
Leo Esakia on Duality in Modal and Intuitionistic Logics
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.

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.

109.99 In Stock
Leo Esakia on Duality in Modal and Intuitionistic Logics

Leo Esakia on Duality in Modal and Intuitionistic Logics

by Guram Bezhanishvili (Editor)
Leo Esakia on Duality in Modal and Intuitionistic Logics

Leo Esakia on Duality in Modal and Intuitionistic Logics

by Guram Bezhanishvili (Editor)

Paperback(Softcover reprint of the original 1st ed. 2014)

$109.99 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.

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.


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)

Table of Contents

Preface.- Introduction.- Esakia’s Biography.- Canonical extensions, Esakia spaces, and universal models; Mai Gehrke.- Free modal algebras revisited: the step-by-step method; Nick Bezhanishvili, Silvio Ghilardi, and Mamuka Jibladze.- Easkia duality and its extensions; Sergio A. Celani and Ramon Jansana.- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev.- Modal logic and the Vietoris functor; Yde Venema and Jacob Vosmaer.- Logic KM: A Biography; Alexei Muravitsky.- Constructive modalities with provability smack; Tadeusz Litak.- Cantor-Bendixson properties of the assembly of a frame; Harold Simmons.- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia.- Derivational modal logics with the difference modality; Andrey Kudinov and Valentin Shehtman.- Esakia’s Bibliography.

From the B&N Reads Blog

Customer Reviews