Skip to main content
  • Book
  • © 1979

Model Theory for Modal Logic

Kripke Models for Modal Predicate Calculi

Authors:

Part of the book series: Synthese Library (SYLI, volume 127)

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (15 chapters)

  1. Front Matter

    Pages i-x
  2. Syntactic Considerations

    • Kenneth A. Bowen
    Pages 1-7
  3. Modal Structures and Morphisms

    • Kenneth A. Bowen
    Pages 8-15
  4. Validity

    • Kenneth A. Bowen
    Pages 16-19
  5. Completeness

    • Kenneth A. Bowen
    Pages 20-31
  6. Löwenheim-Skolem Theorems

    • Kenneth A. Bowen
    Pages 32-42
  7. Ultraproducts

    • Kenneth A. Bowen
    Pages 43-54
  8. Ultrafilter Pairs and Elementary Embeddings

    • Kenneth A. Bowen
    Pages 55-57
  9. Direct Limits

    • Kenneth A. Bowen
    Pages 58-62
  10. Model Extensions

    • Kenneth A. Bowen
    Pages 63-67
  11. Inductive Theories

    • Kenneth A. Bowen
    Pages 68-70
  12. Joint Consistency and Interpolation

    • Kenneth A. Bowen
    Pages 71-74
  13. Model Completeness

    • Kenneth A. Bowen
    Pages 75-81
  14. Finite Forcing

    • Kenneth A. Bowen
    Pages 82-91
  15. Forcing and Model Completions

    • Kenneth A. Bowen
    Pages 92-97
  16. Omitting Types and a Two-Cardinal Theorem

    • Kenneth A. Bowen
    Pages 98-100
  17. Back Matter

    Pages 101-139

Authors and Affiliations

  • Syracuse University, USA

    Kenneth A. Bowen

Bibliographic Information

  • Book Title: Model Theory for Modal Logic

  • Book Subtitle: Kripke Models for Modal Predicate Calculi

  • Authors: Kenneth A. Bowen

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-015-7642-0

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1979

  • Hardcover ISBN: 978-90-277-0929-5Published: 31 December 1978

  • Softcover ISBN: 978-90-481-8353-1Published: 30 December 2010

  • eBook ISBN: 978-94-015-7642-0Published: 29 June 2013

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: X, 139

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Logic

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access