04065nam a22005415i 4500 978-3-031-57635-5 DE-He213 20251030113121.0 cr nn 008mamaa 241002s2024 sz | s |||| 0|eng d 9783031576355 978-3-031-57635-5 10.1007/978-3-031-57635-5 doi BC1-199 HPL bicssc PHI011000 bisacsh QDTL thema Saul Kripke on Modal Logic [electronic resource] / edited by Yale Weiss, Romina Birman. 1st ed. 2024. Cham : Springer International Publishing : Imprint: Springer, 2024. XIII, 437 p. 40 illus., 11 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Outstanding Contributions to Logic, 2211-2766 ; 30 Chapter 1: Introduction (Yale Weiss and Romina Birman) -- Chapter 2: Saul Kripke: A portrait of the modal logician as a young man (Yale Weiss and Romina Birman) -- Chapter 3: Beyond knowledge of the model (Sergei Artemov) -- Chapter 4: The logic of logical necessity -- Chapter 5: Relational patterns, partiality, and set lifting in modal semantics (Johan van Benthem) -- Chapter 6: Entailment, mingle and binary accessibility (Katalin Bimbó and J. Michael Dunn) -- Chapter 7: Modal, Fuzzy, . . . , Vanilla fixpoint theories of truth: A uniform approach (Melvin Fitting) -- Chapter 8: Logics for rigidity (James W. Garson) -- Chapter 9: A letter from Kripke to Lewis (Saul A. Kripke) -- Chapter 10: Individual concepts: Their logic, philosophy, and some of their uses (Saul A. Kripke) -- Chapter 11: Nested sequents or tree-hypersequents – A survey (Björn Lellmann and Francesca Poggiolesi) -- Chapter 12: A proof-theoretic approach to formal epistemology (Sara Negri and Edi Pavlović) -- Chapter 13: Mission impossible (Graham Priest) -- Chapter 14: Substructural negations as normal modal operators (Heinrich Wansing) -- Chapter 15: New(ish) foundations for theories of entailment (Yale Weiss) -- Chapter 16: Accepting a logic, accepting a theory (Timothy Williamson). This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke’s singular contributions to modal logic. Kripke’s work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic indispensable not only to technically oriented philosophers but to theoretical computer scientists and others as well. This volume features previously unpublished work of Kripke’s as well as a brief intellectual biography recounting the story of how Kripke became interested in, and made his first contributions to, modal logic. However, the majority of the volume’s contributions are forward-looking, and produce new philosophical and technical insights by engaging with ideas tracing back to Kripke. Logic. 70674 Mathematical logic. 66195 Logic. 70674 Mathematical Logic and Foundations. 66198 Mathematical Logic and Foundations. 66198 Weiss, Yale. editor. edt http://id.loc.gov/vocabulary/relators/edt 85431 Birman, Romina. editor. edt http://id.loc.gov/vocabulary/relators/edt 85432 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031576348 Printed edition: 9783031576362 Printed edition: 9783031576379 Outstanding Contributions to Logic, 2211-2766 ; 30 72821 https://doi.org/10.1007/978-3-031-57635-5 ZDB-2-REP ZDB-2-SXPR 63917 63917