عنوان

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