Saul Kripke on Modal Logic (Record no. 63917)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04065nam a22005415i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-57635-5 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030113121.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 241002s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031576355 |
| -- | 978-3-031-57635-5 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-57635-5 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC1-199 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | HPL |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PHI011000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | QDTL |
| Source | thema |
| 245 10 - TITLE STATEMENT | |
| Title | Saul Kripke on Modal Logic |
| Medium | [electronic resource] / |
| Statement of responsibility, etc. | edited by Yale Weiss, Romina Birman. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer International Publishing : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XIII, 437 p. 40 illus., 11 illus. in color. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Outstanding Contributions to Logic, |
| International Standard Serial Number | 2211-2766 ; |
| Volume/sequential designation | 30 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66195 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66198 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66198 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Weiss, Yale. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 85431 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Birman, Romina. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 85432 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031576348 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031576362 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031576379 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Outstanding Contributions to Logic, |
| International Standard Serial Number | 2211-2766 ; |
| Volume number/sequential designation | 30 |
| 9 (RLIN) | 72821 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-57635-5">https://doi.org/10.1007/978-3-031-57635-5</a> |
| 912 ## - | |
| -- | ZDB-2-REP |
| 912 ## - | |
| -- | ZDB-2-SXPR |
No items available.