Leo Esakia on Duality in Modal and Intuitionistic Logics

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bezhanishvili, Guram (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
• Σειρά: Outstanding Contributions to Logic, 4
• Θέματα: Philosophy.; Logic.; Mathematical logic.; Linguistics.; Mathematical Logic and Formal Languages.; Theoretical Linguistics.

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...

Πίνακας περιεχομένων:

• 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.