Leo Esakia on Duality in Modal and Intuitionistic Logics (eBook)
XIII, 334 Seiten
Springer Netherland (Verlag)
978-94-017-8860-1 (ISBN)
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.
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 Godel-Lob 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.
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.
| Erscheint lt. Verlag | 3.6.2014 |
|---|---|
| Reihe/Serie | Outstanding Contributions to Logic | Outstanding Contributions to Logic |
| Zusatzinfo | XIII, 334 p. 44 illus. |
| Verlagsort | Dordrecht |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Logik | |
| Geisteswissenschaften ► Sprach- / Literaturwissenschaft ► Sprachwissenschaft | |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Mathematik / Informatik ► Mathematik | |
| Technik | |
| Schlagworte | Blok-Esakia theorem • Canonical extensions, Esakia spaces, universal models • Constructive modalities with provability smack • derivational semantics of modal logic • Easkia duality and its extensions • Esakia and modal and intuitionistic systems • Esakia duality for Heyting algebras • Esakia duality for S4-algebras • Free modal algebras • Modal logic and Vietoris functor • Topological interpretations of provability logic |
| ISBN-10 | 94-017-8860-X / 940178860X |
| ISBN-13 | 978-94-017-8860-1 / 9789401788601 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 4,3 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
