Dick de Jongh on Intuitionistic and Provability Logics

Inbunden, Engelska, 2024

AvNick Bezhanishvili,Rosalie Iemhoff,Fan Yang

2 089 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

Utgivningsdatum2024-07-26
Mått155 x 235 x 27 mm
Vikt758 g
FormatInbunden
SpråkEngelska
SerieOutstanding Contributions to Logic
Antal sidor384
Upplaga2024
FörlagSpringer International Publishing AG
ISBN9783031479205

Tillhör följande kategorier

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.

Du kanske också är intresserad av

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Thomas Piecha, Kai F. Wehmeier

669 kr

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Jacek Malinowski, Rafał Palczewski, Rafal Palczewski, Rafa¿ Palczewski

2 089 kr

Feferman on Foundations

Feferman on Foundations

Gerhard Jäger, Wilfried Sieg, Gerhard Jager

2 399 kr

Philosophy of Penelope Maddy

Philosophy of Penelope Maddy

Sophia Arbeiter, Juliette Kennedy

2 179 kr

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Alex Citkin, Ioannis M. Vandoulakis

1 909 kr

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Ivo Düntsch, Edwin Mares, Ivo Duntsch

1 909 kr

Graham Priest on Dialetheism and Paraconsistency

Graham Priest on Dialetheism and Paraconsistency

Can Başkent, Thomas Macaulay Ferguson, Can Başkent, Can Baskent, Can Ba¿kent

2 259 kr

David Makinson on Classical Methods for Non-Classical Problems

David Makinson on Classical Methods for Non-Classical Problems

Sven Ove Hansson

1 999 kr

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

Hans van Ditmarsch, Gabriel Sandu, Hans van Ditmarsch, Hans Van Ditmarsch, Hans Van Ditmarsch

2 129 kr

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Claudia Casadio, Philip J. Scott

1 779 kr