Dick de Jongh on Intuitionistic and Provability Logics

Inbunden, Engelska, 2024

1 949 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics.

Produktinformation

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 Vuković).- 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.