Skip to main content
SpringerLink
Log in

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

  • Book
  • © 1976

Overview

Authors:
  1. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed   Google Scholar

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

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 169.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 (21 chapters)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. An Introduction to General Intensional Logics

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Consequence Relations

      • Dov M. Gabbay
      Pages 3-24

  3. An Introduction to One Dimensional Modal Logics

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Basic Notions

      • Dov M. Gabbay
      Pages 27-35

    3. General Theory of Unary Intensional Connectives

      • Dov M. Gabbay
      Pages 36-43

    4. Basic Necessity Systems

      • Dov M. Gabbay
      Pages 44-60

    5. Basic Tense Systems

      • Dov M. Gabbay
      Pages 61-70

    6. Possible Worlds with Varying Domains

      • Dov M. Gabbay
      Pages 71-80

    7. Equality and Proper Names

      • Dov M. Gabbay
      Pages 81-93

    8. An Appendix on Propositional Statability Operators

      • Dov M. Gabbay
      Pages 94-105

  4. Technical Results for Propositional Calculi

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. The Finite Model Property

      • Dov M. Gabbay
      Pages 109-123

    3. Selective Filtration

      • Dov M. Gabbay
      Pages 124-135

  5. Introduction to Many Dimensional Modal Logics and Applications

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. Two Dimensional Propositional Tense Logics

      • Dov M. Gabbay
      Pages 139-156

    3. An Appendix

      • Dov M. Gabbay
      Pages 157-164

    4. Some Applications

      • Dov M. Gabbay
      Pages 165-175

  6. Special Systems

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Relative Necessity Operators and the Subjunctive Conditional

      • Dov M. Gabbay
      Pages 179-192
Back to top

Keywords

About this book

This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer­ ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature.

Bibliographic Information

  • Book Title: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

  • Authors: Dov M. Gabbay

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-010-1453-3

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: D. Reidel Publishing Company, Dordrecht, Holland 1976

  • Hardcover ISBN: 978-90-277-0656-0Published: 30 September 1976

  • eBook ISBN: 978-94-010-1453-3Published: 06 December 2012

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: XI, 312

  • Topics: Logic, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation