Intensional and Higher-Order Modal Logic With Applications to Montague Semantics Copyright Page Contents PART I: INTENSIONAL LOGIC CHAPTER 1. INTENSIONAL LOGIC 1. Natural Language and Intensional Logic 2. The Logic IL 3. Generalized Completeness of IL 4. Persistence in IL CHAPTER 2. ALTERNATIVE FORMULATIONS OF IL 5. Modal T-Logic 6. Extensions of IL and ML_T 7. Normal Forms 8. Two-Sorted Type Theory PART II: HIGHER-ORDER MODAL LOGIC CHAPTER 3. HIGHER-ORDER MODAL LOGIC 9. Modal Predicate Logic 10. Propositions in ML_p 11. Atomic Propositions and EC 12. Propositional Operators 13. Relative Strength of IL and ML_p CHAPTER 4. ALGEBRAIC SEMANTICS 14. Boolean Models of ML_p 15. Modal Independence Results 16. Topological Models of ML_p 17. Cohen's Independence Results Bibliogr
Read more at http://ebookee.org/Intensional-and-higher-order-modal-logic-Volume-19-With-applications-to-Montague-semantics-North-Holland-Mathematics-Studies_1268699.html#aeQh2A1gxmGZJxJl.99