Coverart for item
The Resource The logic of provability, George Boolos

The logic of provability, George Boolos

Label
The logic of provability
Title
The logic of provability
Statement of responsibility
George Boolos
Creator
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Boolos, George
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
  • Modality (Logic)
  • Proof theory
Label
The logic of provability, George Boolos
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [262]-269) and index
Contents
1. GL and other systems of propositional modal logic -- 2. Peano arithmetic -- 3. The box as Bew(x) -- 4. Semantics for GL and other modal logics -- 5. Completeness and decidability of GL and K, K4, T, B, S4, and S5 -- 6. Canonical models -- 7. On GL -- 8. The fixed point theorem -- 9. The arithmetical completeness theorems for GL and GLS -- 10. Trees for GL -- 11. An incomplete system of modal logic -- 12. An S4-preserving proof-theoretical treatment of modality -- 13. Modal logic within set theory -- 14. Modal logic within analysis -- 15. The joint provability logic of consistency and [omega]-consistency -- 16. On GLB: The fixed point theorem, letterless sentences, and analysis -- 17. Quantified provability logic -- 18. Quantified provability logic with one one-place predicate letter
Control code
ocm27172726
Dimensions
23 cm.
Extent
xxxvi, 275, [1] p.
Isbn
9780521433426
Lccn
92043610
Label
The logic of provability, George Boolos
Publication
Bibliography note
Includes bibliographical references (p. [262]-269) and index
Contents
1. GL and other systems of propositional modal logic -- 2. Peano arithmetic -- 3. The box as Bew(x) -- 4. Semantics for GL and other modal logics -- 5. Completeness and decidability of GL and K, K4, T, B, S4, and S5 -- 6. Canonical models -- 7. On GL -- 8. The fixed point theorem -- 9. The arithmetical completeness theorems for GL and GLS -- 10. Trees for GL -- 11. An incomplete system of modal logic -- 12. An S4-preserving proof-theoretical treatment of modality -- 13. Modal logic within set theory -- 14. Modal logic within analysis -- 15. The joint provability logic of consistency and [omega]-consistency -- 16. On GLB: The fixed point theorem, letterless sentences, and analysis -- 17. Quantified provability logic -- 18. Quantified provability logic with one one-place predicate letter
Control code
ocm27172726
Dimensions
23 cm.
Extent
xxxvi, 275, [1] p.
Isbn
9780521433426
Lccn
92043610

Library Locations

    • Sydney Jones LibraryBorrow it
      Chatham Street, Liverpool, L7 7BD, GB
      53.403069 -2.963723
Processing Feedback ...