91,40 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
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 Esakiä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 Esakiä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.
Offers an overview and analysis of Leo Esakia's contributions to the theory of modal and intuitionistic systems
Explores a wide range of Esakia's work in the area with explanations and analyses by leading experts in the field
Traces Esakia's lifelong work in the field from its beginnings in the 1960s to the 2000s
Includes supplementary material: [...]
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.
| Erscheinungsjahr: | 2014 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Importe, Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Buch |
| Reihe: | Outstanding Contributions to Logic |
| Inhalt: |
xiii
334 S. 44 s/w Illustr. 334 p. 44 illus. |
| ISBN-13: | 9789401788595 |
| ISBN-10: | 9401788596 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | HC runder Rücken kaschiert |
| Einband: | Gebunden |
| Redaktion: | Bezhanishvili, Guram |
| Herausgeber: | Guram Bezhanishvili |
| Hersteller: |
Springer Netherland
Springer Netherlands Outstanding Contributions to Logic |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 241 x 160 x 25 mm |
| Von/Mit: | Guram Bezhanishvili |
| Erscheinungsdatum: | 20.06.2014 |
| Gewicht: | 0,688 kg |
Offers an overview and analysis of Leo Esakia's contributions to the theory of modal and intuitionistic systems
Explores a wide range of Esakia's work in the area with explanations and analyses by leading experts in the field
Traces Esakia's lifelong work in the field from its beginnings in the 1960s to the 2000s
Includes supplementary material: [...]
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.
| Erscheinungsjahr: | 2014 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Importe, Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Buch |
| Reihe: | Outstanding Contributions to Logic |
| Inhalt: |
xiii
334 S. 44 s/w Illustr. 334 p. 44 illus. |
| ISBN-13: | 9789401788595 |
| ISBN-10: | 9401788596 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | HC runder Rücken kaschiert |
| Einband: | Gebunden |
| Redaktion: | Bezhanishvili, Guram |
| Herausgeber: | Guram Bezhanishvili |
| Hersteller: |
Springer Netherland
Springer Netherlands Outstanding Contributions to Logic |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 241 x 160 x 25 mm |
| Von/Mit: | Guram Bezhanishvili |
| Erscheinungsdatum: | 20.06.2014 |
| Gewicht: | 0,688 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage