Dick de Jongh on Intuitionistic and Provability Logics

Inbunden, Engelska, 2024

1 484 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

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.