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.