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 a...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2014, 2014
|
| Edition: | 1st ed. 2014 |
| Series: | Outstanding Contributions to Logic
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
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