10 Higher order modal logic

Studies in Logic and Practical Reasoning

Volumn 3, Issue , 2007, Pages 621-653

  Muskens, Reinhard ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33947377817     PISSN: 15702464     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-2464(07)80013-9     Document Type: Article

References (55)

1. Andrews P.B. Resolution in Type Theory. Journal of Symbolic Logic 36 3 (1971) 414-432
2. Andrews P.B. General Models and Extensionality. Journal of Symbolic Logic 37] 2 (1972) 395-397
3. Andrews P.B. An Introduction to Mathematical Logic and Type Theory, to Truth through Proof (1986), Academic Press, Orlando, Florida
4. Barendrecht H. The Lambda Calculus, its Syntax and Semantics (1981), North-Holland
5. Bartsch R. The Semantics and Syntax of Number and Numbers. In: Kimball J.P. (Ed). Syntax and Semantics vol. 2 (1973), Seminar Press, New York 51-93
6. distributed by the Indiana University Linguistics Club. Bennett M. Some Extensions of a Montague Fragment of English. PhD thesis (1974), UCLA
7. van Benthem J.F.A.K. Essays in Logical Semantics (1986), Reidel, Dordrecht
8. van Benthem J.F.A.K., and Doets K. Higher-Order Logic. In: Gabbay D.M., and Guenthner F. (Eds). Handbook of Philosophical Logic Vol. I (1983), Reidel, Dordrecht 275-329
9. Benzmuller C., Brown C.E., and Kohlhase M. Higher Order Semantics and Extensionality. Journal of Symbolic Logic 69 (2004)
10. Blackburn P., de Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press, Cambridge
11. New Haven and London. Bressan A. A General Interpreted Modal Calculus (1972), Yale University Press
12. Bull R.A. On Modal Logic with Propositional Quantifiers. Journal of Symbolic Logic 34 (1969) 257-263
13. B. ten Cate. Expressivity of Second-order Modal Logic. Journal of Philosophical Logic, to appear.
14. Church A. A Formulation of the Simple Theory of Types. Journal of Symbolic Logic 5 (1940) 56-68
15. Dowty D.R., Wall R.E., and Peters S. Introduction to Montague Semantics (1981), Reidel, Dordrecht
16. Fine K. Propositional Quantifiers in Modal Logic. Theoria 36 (1970) 336-346
17. Fitting M. First-Order Logic and Automated Theorem Proving (1996), Springer, New York
18. Fitting M. Interpolation for First Order S5. Journal of Symbolic Logic 67] 2 (2002) 621-634
19. Fitting M. ypes, Tableaus, and Godels God (2002), Kluwer Academic Publishers, Dordrecht
20. Fox C., and Lappin S. Foundations of Intensional Semantics (2005), Blackwell, Oxford
21. Friedman J., and Warren D. Lambda Normal Forms in an Intensional Logic for English. Studia Logica 39 (1980) 311-324
22. Gallin D. Intensional and Higher-Order Modal Logic (1975), North-Holland, Amsterdam
23. Gamut L.T.F. Logic, Language and Meaning (1991), University of Chicago Press, Chicago
24. Godel K. Ontological Proof. In: Feferman S., Dawson J.W., Goldfarb W., Parsons C., and Solovay R.N. (Eds). Kurt Godel Collected Works, Volume III, Unpublished Essays and Lectures (1995), Oxford University Press, New York 403-404
25. ACL. de Groote Ph. Towards Abstract Categorial Grammars. Association for Computational Lin- guistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference (2001), Toulouse 148-155
26. Hendriks H.L.W.H. Type Change in Semantics, the Scope of Quantification and Coordination. In: van Benthem J.F.A.K. (Ed). Categories, Polymorphism, and Unification (1988), Centre for Cognitive Science 95-119
27. Hendriks H.L.W.H. Studied Flexibility, Categories and Types in Syntax and Semantics. PhD thesis (1993), University of Amsterdam
28. Henkin L. Completeness in the Theory of Types. Journal of Symbolic Logic 15 (1950) 81-91
29. Henkin L. A Theory of Propositional Types. Fundamenta Mathematicae 52 (1963) 323-344
30. Kaplan D. S5 with Quantifiable Propositional Variables. Journal of Symbolic Logic 35 (1970) 355
31. Kremer Ph. Defining Relevant Implication in a Propositionally Quantified S4. Journal of Symbolic Logic 62 4 (1997) 1057-1069
32. Kremer Ph. On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 2 (1997) 529-544
33. Kripke S. A Completenes Theorem in Modal Logic. Journal of Symbolic Logic 24 (1959) 1-14
34. L0nning J.T. Plurals and Collectivity. In: van Benthem J.F.A.K., and ter Meulen A. (Eds). Handbook of Logic and Language (1997), Elsevier 1009-1053
35. Reprinted in [51]. Montague R. On the Nature of Certain Philosophical Entities. Monist 53 (1969) 161-194
36. Reprinted in [51]. Montague R. English as a Formal Language. In: Visenti B., et al. (Ed). Linguaggi nella Societàe nella Tecnica (1970), Edizioni di Comunità 189-224
37. Reprinted in [51]. Montague R. Universal Grammar. Theoria 36 (1970) 373-398
38. Reprinted in [51]. Montague R. The Proper Treatment of Quantification in Ordinary English. In: Hintikka J., Moravc- sik J., and Suppes P. (Eds). Approaches to Natural Language (1973), Reidel 221-242
39. Muskens R.A. Meaning and Partiality (1995), CSLI
40. Muskens R.A. Categorial Grammar and Lexical-Functional Grammar. In: Butt M., and Holloway King T. (Eds). Proceedings of the LFG01 Conference, University of Hong Kong (2001), CSLI Publications, Stanford CA 259-279
41. Muskens R.A. Language, Lambdas, and Logic. In: Kruijff G.-J., and Oehrle R. (Eds). Resource Sensitivity in Binding and Anaphora. Studies in Linguistics and Philosophy (2003), Kluwer 23-54
42. Orey S. Model Theory for the Higher Order Predicate Calculus. Transactions of the American Mathematical Society 92 (1959) 72-84
43. with H. Hendriks. Partee B. Montague Grammar. Handbook of Logic and Language (1997), Elsevier 5-91
44. Partee B., and Rooth M. Generalized Conjunction and Type Ambiguity. In: Baüerle R., Schwarze C., and von Stechow A. (Eds). Meaning, Use and Interpretation of Language (1983), de Gruyter 361-383
45. Prawitz D. Hauptsatz for Higher Order Logic. Journal of Symbolic Logic 33 3 (1968) 452-457
46. Russell B. Mathematical Logic as Based on the Theory of Types. American Journal of Mathematics 30 (2008) 222-262
47. Sch{up triangle, open}te K. Syntactical and Semantical Properties of Simple Type Theory. Journal of Symbolic Logic 25 4 (1960) 305-326
48. Smullyan R.M. First-Order Logic (1968), Springer-Verlag
49. Takahashi M. A Proof of Cut-elimination Theorem in Simple Type Theory. Journal of the Mathe-matical Society of Japan 19 4 (1967) 399-410
50. Thomason R. A semantic analysis of tense logics. Journal of Symbolic Logic 37 1 (1972) 150-158
51. In: Thomason R. (Ed). Formal Philosophy, Selected Papers of Richard Montague (1974), Yale University Press
52. A.N. Whitehead, B. Russell, Principia Mathematica, Cambridge University Press, 1910-1913
53. Zalta E. Abstract Objects, An Introduction to Axiomatic Metaphysics (1983), Reidel
54. Zalta E. Intensional Logic and the Metaphysics of Intentionality (1988), MIT Press/Bradford Books
55. Zalta E. A Comparison of Two Intensional Logics. Linguistics and Philosophy 11 (1988) 59-89