عنوان

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

9401014531

9789401014533

b594291

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

[Book]

by Dov M. Gabbay.

Dordrecht

Springer Netherlands

1976

(317 pages)

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.

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.

Logic, Symbolic and mathematical.

Logic.

Philosophy (General)

by Dov M. Gabbay.

Dov M Gabbay

[Book]

Y