Advertisement

Model Theory for Modal Logic

Kripke Models for Modal Predicate Calculi

  • Kenneth A. Bowen

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Kenneth A. Bowen
    Pages 1-7
  3. Kenneth A. Bowen
    Pages 8-15
  4. Kenneth A. Bowen
    Pages 16-19
  5. Kenneth A. Bowen
    Pages 20-31
  6. Kenneth A. Bowen
    Pages 32-42
  7. Kenneth A. Bowen
    Pages 43-54
  8. Kenneth A. Bowen
    Pages 55-57
  9. Kenneth A. Bowen
    Pages 58-62
  10. Kenneth A. Bowen
    Pages 63-67
  11. Kenneth A. Bowen
    Pages 68-70
  12. Kenneth A. Bowen
    Pages 71-74
  13. Kenneth A. Bowen
    Pages 75-81
  14. Kenneth A. Bowen
    Pages 82-91
  15. Kenneth A. Bowen
    Pages 92-97
  16. Kenneth A. Bowen
    Pages 98-100
  17. Back Matter
    Pages 101-139

About this book

Keywords

logic modal logic model structure syntactic

Authors and affiliations

  • Kenneth A. Bowen
    • 1
  1. 1.Syracuse UniversityUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-015-7642-0
  • Copyright Information Springer Science+Business Media B.V. 1979
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-8353-1
  • Online ISBN 978-94-015-7642-0
  • Buy this book on publisher's site