Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Dick de Jongh on Intuitionistic and Provability Logics

BuchGebunden
384 Seiten
Englisch
Springererschienen am26.07.20242024
This book is dedicated to Dick de Jongh´s contributions to the theory of intuitionistic and provability logics.mehr
Verfügbare Formate
BuchGebunden
EUR139,09
E-BookPDF1 - PDF WatermarkE-Book
EUR128,39

Produkt

KlappentextThis book is dedicated to Dick de Jongh´s contributions to the theory of intuitionistic and provability logics.
Details
ISBN/GTIN978-3-031-47920-5
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2024
Erscheinungsdatum26.07.2024
Auflage2024
ReiheOutstanding Contributions to Logic
Seiten384 Seiten
SpracheEnglisch
Gewicht701 g
IllustrationenX, 384 p. 34 illus., 3 illus. in color.
Artikel-Nr.54937976

Inhalt/Kritik

Inhaltsverzeichnis
Chapter 1. Notes on my scientiï¬c life (Dick de Jongh).- Chapter 2. Lewisian ï¬xed points I: Two incomparable constructions (Tadeusz Litak and Albert Visser).- Chapter 3. An abstract look at the ï¬xed-point theorem for provability logic (Johan van Benthem).- Chapter 4. The Σ1-provability logic of HA revisited (Mojtaba Mojtahedi).- Chapter 5. An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Joost J. Joosten, Jan Mas Rovira, Luka Mikec, and Mladen Vukovic).- Chapter 6. Deciding dependence in logic and algebra (George Metcalfe and Naomi Tokuda).- Chapter 7. About the uniï¬cation types of modal logics (Philippe Balbiani and ÇiÄdem Gencer).- Chapter 8. Proof theory for lax logic (Rosalie Iemhoff).- Chapter 9. Intermediate logics in the setting of team semantics (Nick Bezhanishvili and Fan Yang).- Chapter 10. Well partial orders (Andreas Weiermann).- Chapter 11. Learning to act and observe in partially observable domains (Thomas Bolander, Nina Gierasimczuk, and Andrés Occhipinti Liberman).- Chapter 12. Axiomatizing origami planes (Lev Beklemishev, Anna Dmitrieva, and Johann A. Makowsky).- Chapter 13. Bibliography of Dick de Jongh.mehr

Schlagworte

Autor