|
" Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics "
by Dov M. Gabbay.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
774297
|
| Doc. No
|
:
|
b594291
|
| Main Entry
|
:
|
by Dov M. Gabbay.
|
| Title & Author
|
:
|
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics\ by Dov M. Gabbay.
|
| Publication Statement
|
:
|
Dordrecht : Springer Netherlands, 1976
|
| Series Statement
|
:
|
Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences, 92.
|
| Page. NO
|
:
|
(317 pages)
|
| ISBN
|
:
|
9401014531
|
|
|
:
|
: 9789401014533
|
| 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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Logic.
|
| Subject
|
:
|
Philosophy (General)
|
| LC Classification
|
:
|
BC199.M6B936 1976
|
| Added Entry
|
:
|
Dov M Gabbay
|
| |