Dick de Jongh on Intuitionistic and Provability Logics
portes grátis
Dick de Jongh on Intuitionistic and Provability Logics
Yang, Fan; Iemhoff, Rosalie; Bezhanishvili, Nick
Springer International Publishing AG
06/2024
384
Dura
Inglês
9783031479205
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
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 Cigdem 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 Andres Occhipinti Liberman).- Chapter 12. Axiomatizing origami planes (Lev Beklemishev, Anna Dmitrieva, and Johann A. Makowsky).- Chapter 13. Bibliography of Dick de Jongh.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Mathematical Logic;Intuitionistic Logic;Provability Logic;Theory of Well-partial Orders;Formal Learning Theory;Dick de Jongh and Intuitionistic and Provability Logics;Dick de Jongh Origami Geometry;Dick de Jongh Autobiography;de Jong-Sambin Fixed Point Theorem
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 Cigdem 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 Andres Occhipinti Liberman).- Chapter 12. Axiomatizing origami planes (Lev Beklemishev, Anna Dmitrieva, and Johann A. Makowsky).- Chapter 13. Bibliography of Dick de Jongh.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
