Leo esakia on duality in modal and intuitionistic logics /
Leo esakia on duality in modal and intuitionistic logics /
edited by Guram Bezhanishvili.
- xiii, 334 páginas : 44 ilustraciones
- Outstanding Contributions to Logic, 4 2211-2758 ; .
Springer eBooks
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.
9789401788601
BC1-199
Springer eBooks
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.
9789401788601
BC1-199