Author | Gabbay, Dov M. author |
---|---|
Title | Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics [electronic resource] / by Dov M. Gabbay |
Imprint | Dordrecht : Springer Netherlands, 1976 |
Connect to | http://dx.doi.org/10.1007/978-94-010-1453-3 |
Descript | XI, 312 p. online resource |
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