Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorGabbay, Dov M. author
TitleInvestigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics [electronic resource] / by Dov M. Gabbay
ImprintDordrecht : Springer Netherlands, 1976
Connect to
Descript XI, 312 p. online resource


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


0: An Introduction to General Intensional Logics -- 0 / Consequence Relations -- 1: An Introduction to One Dimensional Modal Logics -- 1 / Basic Notions -- 2 / General Theory of Unary Intensional Connectives -- 3 / Basic Necessity Systems -- 4 / Basic Tense Systems -- 5 / Possible Worlds with Varying Domains -- 6 / Equality and Proper Names -- 7 / Propositional Statability Operators -- 2: Technical Results for Propositional Calculi -- 8 / The Finite Model Property -- 9 / Selective Filtration -- 3: Introduction to Many Dimensionel Modal Logics and Applications -- 10 / Two Dimensional Propositional Tense Logics -- 11 / An Appendix -- 12 / Some Applications -- 4: Special Systems -- 13 / Relative Necessity Operators and the Subjunctive Conditional -- 14 / Propositional Quantifiers -- 15 / Basic Entailment Type Logics -- 5: The Decision Problem -- 16 / The Reduction Method -- 17 / Some Decidability Results -- 18 / The Decision Problem for Predicate Systems -- 6: Special Topics -- 19 / Completeness for Frames -- 20 / The Interpolation Theorem -- 7: Notes and Some References -- Scheme of the Book -- References -- Index of Names

Philosophy Logic Mathematical logic Philosophy Logic Mathematical Logic and Foundations


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram