Sense and the computation of reference

Linguistics and Philosophy

Volumn 28, Issue 4, 2005, Pages 473-504

  Muskens, Reinhard ^a  

^a TILBURG UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 27144521976     PISSN: 01650157     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10988-004-7684-1     Document Type: Review

References (37)

1. Andrews, P.: 1971, 'Resolution in Type Theory', Journal of Symbolic Logic 36(3), 414-432.
2. Apt, K.: 1990, 'Introduction to Logic Programming', in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, pp. 495-574, Elsevier, Amsterdam.
3. Barwise, J.: 1997, 'Information and Impossibilities', Notre Dame Journal of Formal Logic 38(4), 488-515.
4. Barwise, J. and J. Etchemendy: 1987, The Liar: An Essay on Truth and Circularity. Oxford University Press, New York.
5. Benzmüller, C., C. E. Brown, and M. Kohlhase: 2004, 'Higher Order Semantics and Extensionality', Journal of Symbolic Logic 69, (to appear).
6. Blackburn, P., J. Bos, and K. Striegnitz: 2001, Learn Prolog Now! www.consem.org.
7. Carnap, R.: 1947, Meaning and Necessity, Chicago UP, Chicago.
8. Chierchia, G. and R. Turner: 1988, 'Semantics and Property Theory', Linguistics and Philosophy 11, 261-302.
9. Church, A.: 1940, 'A Formulation of the Simple Theory of Types', Journal of Symbolic Logic 5, 56-68.
10. Cresswell, M.: 1972, 'Intensional Logics and Logical Truth', Journal of Philosophical Logic 1, 2-15.
11. Cresswell, M.: 1985, Structured Meanings, MIT Press, Cambridge, MA.
12. Dowek, G.: 2001, 'Higher-Order Unification and Matching', in A. Robinson and A. Voronkov (eds.), Handbook of Automated Reasoning, pp. 1009-1062, Elsevier, Amsterdam.
13. Dummett, M.: 1978, Truth and Other Enigmas, Duckworth, London.
14. Fitting, M.: 2002, Types, Tableaus, and Gödels God, Kluwer Academic Publishers, Dordrecht.
15. Fox, C. and S. Lappin: 2001, 'A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations', in P. De Groote, G. Morrill, and C. Retoré (eds.), Logical Aspects of Computational Linguistics, pp. 175-192, Springer-Verlag, Berlin.
16. Fox, C., S. Lappin, and C. Pollard: 2002, 'A Higher-order Fine-grained Logic for Intensional Semantics', in G. Alberti, K. Balough, and P. Dekker (eds.), Proceedings of the Seventh Symposium for Logic and Language, pp. 37-46, Pecs, Hungary.
17. Goldfarb, W.: 1981, 'The Undecidability of the Second-order Unification Problem', Theoretical Computer Science 13, 225-230.
18. Hintikka, J.: 1975, 'Impossible Possible Worlds Vindicated', Journal of Philosophical Logic 4, 475-484.
19. Huet, G.: 1973, 'The Undecidability of Unification in Third-Order Logic', Information and Control 22, 257-267.
20. Kripke, S.: 1975, 'Outline of a Theory of Truth', Journal of Philosophy 72, 690-716.
21. Lappin, S. and C. Pollard: 2000, 'Strategies for Hyperintensional Semantics', ms.
22. Lewis, D.: 1972, 'General Semantics', in D. Davidson and G. Harman (eds.), Semantics of Natural Language, pp. 169-218, Reidel, Dordrecht.
23. Miller, D.: 1991, 'A Logic Programming Language with Lambda-abstraction, Function Variables, and Simple Unification', Journal of Logic and Computation 1, 497-536.
24. Montague, R.: 1970, 'Universal Grammar', in Formal Philosophy, pp. 222-246, Yale University Press, New Haven.
25. Montague, R.: 1973, 'The Proper Treatment of Quantification in Ordinary English', in Formal Philosophy, pp. 247-270, Yale University Press, New Haven.
26. Moschovakis, Y.: 1994, 'Sense and Denotation as Algorithm and Value', in Logic Colloquium '90 (Helsinki 1990), Vol. 2 of Lecture Notes in Logic, pp. 210-249, Springer, Berlin.
27. Moschovakis, Y.: 2003, 'A Logical Calculus of Meaning and Synonymy', Corrected and edited notes for a course in NASSLLI 2003.
28. Muskens, R.: 1991, 'Hyperfine-Grained Meanings in Classical Logic', Logique et Analyse 133/134, 159-176.
29. Muskens, R.: 2005, 'Higher Order Modal Logic', in P. Blackburn, J. van Benthem, and F. Wolter (eds.), Handbook of Modal Logic, Studies in Logic and Practical Reasoning, Elsevier, Dordrecht (to appear).
30. Prawitz, D.: 1968, 'Hauptsatz for Higher Order Logic', Journal of Symbolic Logic 33(3), 452-457.
31. Rantala, V.: 1982, 'Quantified Modal Logic: Non-normal Worlds and Propositional Attitudes', Studia Logica 41, 41-65.
32. Takahashi, M.: 1967, 'A Proof of Cut-elimination Theorem in Simple Type Theory', Journal of the Mathematical Society of Japan 19(4), 399-410.
33. Thomason, R.: 1980, 'A Model Theory for Propositional Attitudes', Linguistics and Philosophy 4, 47-70.
34. Tichý, P.: 1988, The Foundations of Frege's Logic, De Gruyter, Berlin.
35. Turner, R.: 1987, 'A Theory of Properties', Journal of Symbolic Logic 52(2), 455-472.
36. van Lambalgen, M. and F. Hamm: 2003, 'Moschovakis' Notion of Meaning as Applied to Linguistics', in M. Baaz and J. Krajicek (eds.), Logic Colloquium '01, ASL Lecture Notes in Logic.
37. Zalta, E.: 1997, 'A Classically-Based Theory of Impossible Worlds', Notre Dame Journal of Formal Logic 38(4), 640-660.