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

Front Matter....Pages I-XI
Front Matter....Pages 1-1
Consequence Relations....Pages 3-24
Front Matter....Pages 25-25
Basic Notions....Pages 27-35
General Theory of Unary Intensional Connectives....Pages 36-43
Basic Necessity Systems....Pages 44-60
Basic Tense Systems....Pages 61-70
Possible Worlds with Varying Domains....Pages 71-80
Equality and Proper Names....Pages 81-93
An Appendix on Propositional Statability Operators....Pages 94-105
Front Matter....Pages 107-107
The Finite Model Property....Pages 109-123
Selective Filtration....Pages 124-135
Front Matter....Pages 137-137
Two Dimensional Propositional Tense Logics....Pages 139-156
An Appendix....Pages 157-164
Some Applications....Pages 165-175
Front Matter....Pages 177-177
Relative Necessity Operators and the Subjunctive Conditional....Pages 179-192
Propositional Quantifiers....Pages 193-201
Basic Entailment Type Logics....Pages 202-212
Front Matter....Pages 213-213
The Reduction Method....Pages 215-229
Some Decidability Results....Pages 230-265
The Decision Problem for Predicate Systems....Pages 266-272
Front Matter....Pages 273-273
Completeness for Frames....Pages 275-281
Front Matter....Pages 273-273
The Interpolation Theorem....Pages 282-295
Back Matter....Pages 297-312