عنوان

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

(Number (ISBN

9401014531

(Number (ISBN

9789401014533

Number

b594291

Title Proper

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

General Material Designation

[Book]

First Statement of Responsibility

by Dov M. Gabbay.

Place of Publication, Distribution, etc.

Dordrecht

Name of Publisher, Distributor, etc.

Springer Netherlands

Date of Publication, Distribution, etc.

1976

Specific Material Designation and Extent of Item

(317 pages)

Series Title

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.

Text of Note

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)

Class number

Book number

by Dov M. Gabbay.

Dov M Gabbay

Electronic name

[Book]

Y