Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Intensional and higher-order modal logic, Volume 19: With applications to Montague semantics (North-Holland Mathematics Studies)
Intensional and higher-order modal logic, Volume 19: With applications to Montague semantics (North-Holland Mathematics Studies)
Date: 09 June 2011, 04:47
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
Bibliography

DISCLAIMER:

This site does not store Intensional and higher-order modal logic, Volume 19: With applications to Montague semantics (North-Holland Mathematics Studies) on its server. We only index and link to Intensional and higher-order modal logic, Volume 19: With applications to Montague semantics (North-Holland Mathematics Studies) provided by other sites. Please contact the content providers to delete Intensional and higher-order modal logic, Volume 19: With applications to Montague semantics (North-Holland Mathematics Studies) if any and email us, we'll remove relevant links or contents immediately.



Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches