Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
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 ob...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1976, 1976
|
| Edition: | 1st ed. 1976 |
| Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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