Skip to main content
SpringerLink
Log in

Model Theory for Modal Logic

Kripke Models for Modal Predicate Calculi

  • Book
  • © 1979

Overview

Authors:
  1. Kenneth A. Bowen

    1. Syracuse University, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  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
    Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation