Formal Semantics: INTENSIONAL SEMANTICS

1. Introduction 2. Predicates and arguments 3. Negation and co-ordination 4. Type theory 5. Lambda abstraction 6. Quantification 7. Inference 8. Time, tense, and aspect 9. Possible worlds 10. Intensional semantics.