Publications

[58] Reinhard Muskens and Stefan Wintein. Interpolation in 16-Valued Trilattice Logics. Studia Logica, 106(2):345–370, 2018. [ bib | SpringerLink | .pdf ]
[57] Reinhard Muskens and Mehrnoosh Sadrzadeh. Lambdas, Vectors, and Word Meaning in Context. In A. Cremers, T. van Gessel, and F. Roelofsen, editors, Proceedings of the 21st Amsterdam Colloquium, pages 65–74, 2017. [ bib | .pdf ]
[56] Reinhard Muskens. 16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics. In Stefan Minica, Christina Unger, and Yanjing Wang, editors, A Programming Road to Logic, Maths, Language, and Philosophy : A Tribute to Jan van Eijck on the Occasion of his Retirement. 2017. [ bib | .html ]
[55] Stefan Wintein and Reinhard Muskens. Interpolation Methods for Dunn Logics and Their Extensions. Studia Logica, 105(6):1319–1347, 2017. [ bib | SpringerLink | .pdf ]
[54] Stefan Wintein and Reinhard Muskens. A Gentzen Calculus for Nothing but the Truth. Journal of Philosophical Logic, 45(4):451–465, 2016. [ bib | SpringerLink | .pdf ]
[53] Reinhard Muskens and Mehrnoosh Sadrzadeh. Context Update for Lambdas and Vectors. In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, and Christian Retoré, editors, Logical Aspects of Computational Linguistics 2016, LNCS 10054, pages 247–254. Springer, 2016. [ bib | .pdf ]
[52] Stefan Wintein and Reinhard A. Muskens. From Bi-facial Truth to Bi-facial Proofs. Studia Logica, 103(3):545–558, 2015. [ bib | SpringerLink | .pdf ]
[51] Reinhard Muskens and Stefan Wintein. Analytic Tableaux for all of SIXTEEN3. Journal of Philosophical Logic, 44(5):473–487, 2015. [ bib | SpringerLink | .pdf ]
[50] Reinhard Muskens. Data Semantics and Linguistic Semantics. In Maria Aloni, Michael Franke, and Floris Roelofsen, editors, The Dynamic, Inquisitive, and Visionary Life of φ, ?φ, and ◊φ: A Festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, pages 175–183. University of Amsterdam, Amsterdam, 2013. [ bib | At University of Amsterdam | .pdf ]
[49] Stefan Wintein and Reinhard Muskens. A Calculus for Belnap's Logic in Which Each Proof Consists of Two Trees. Logique & Analyse, 220:643–656, 2012. [ bib | .pdf ]
[48] Reinhard Muskens. A Theory of Names and True Intensionality. In M. Aloni, V. Kimmelman, F. Roelofsen, G. Weidman Sassoon, K. Schulz, and M. Westera, editors, Logic, Language and Meaning: 18th Amsterdam Colloquium, volume 7218 of Lecture Notes in Artificial Intelligence, pages 441–449. Springer, 2012. [ bib | .pdf ]
[47] Reinhard Muskens. Type-logical Semantics. In E. Craig, editor, Routledge Encyclopedia of Philosophy Online. Routledge, 2011. [ bib | http | .pdf ]
[46] Reinhard Muskens. A Squib on Anaphora and Coindexing. Linguistics & Philosophy, 34(1):85–89, 2011. [ bib | SpringerLink | .pdf ]
[45] Reinhard Muskens. New Directions in Type-Theoretic Grammars. Journal of Logic, Language and Information, 19(2):129–136, 2010. [ bib | SpringerLink | .pdf ]
[44] Reinhard Muskens. An Analytic Tableau System for Natural Logic. In M. Aloni, H. Bastiaanse, T. de Jager, and K. Schulz, editors, Logic, Language and Meaning, volume 6042 of Lecture Notes in Artificial Intelligence, pages 104–113. Springer, 2010. [ bib | .pdf ]
[43] Reinhard Muskens, Johan van Benthem, and Albert Visser. Dynamics. In Johan van Benthem and Alice Ter Meulen, editors, Handbook of Logic and Language, pages 607–670. Elsevier, Amsterdam, 2010. (Revised version of [22]). [ bib | .pdf ]
[42] Reinhard Muskens. Tableaus for Natural Logic. In Daisuke Bekki, editor, Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS6), pages 259–273, Tokyo, Japan, November 2009. Campus Innovation Center. [ bib | .pdf ]
[41] Reinhard Muskens. Intensional Models for the Theory of Types. The Journal of Symbolic Logic, 72(1):98–118, 2007. [ bib | .pdf ]
[40] Reinhard Muskens. Separating Syntax and Combinatorics in Categorial Grammar. Research on Language and Computation, 5(3):267–285, 2007. [ bib | .pdf ]
[39] Harry Bunt and Reinhard Muskens. Computing the Semantic Information in an Utterance. In Harry Bunt and Reinhard Muskens, editors, Computing Meaning III, pages 1–10. Springer, 2007. [ bib ]
[38] Reinhard Muskens. Higher Order Modal Logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, Handbook of Modal Logic, pages 621–653. Elsevier, 2006. [ bib | .pdf ]
[37] Reinhard Muskens. Sense and the Computation of Reference. Linguistics & Philosophy, 28(4):473–504, 2005. [ bib | SpringerLink | .pdf ]
[36] Reinhard Muskens. Synonymy, Common Knowledge, and the Social Construction of Meaning. In Paul Dekker and Michael Franke, editors, Proceedings of the Fifteenth Amsterdam Colloquium, pages 161–166. ILLC, University of Amsterdam, 2005. [ bib | .pdf ]
[35] Reinhard Muskens. Order-Independence and Underspecification. In Hans Kamp and Barbara Partee, editors, Context-dependence in the Analysis of Linguistic Meaning, volume 11 of Current Research in the Semantics/Pragmatics Interface, pages 239–254. Elsevier, 2004. (Also appeared as DYANA Deliverable R.2.2.C, 1995). [ bib | .pdf ]
[34] Noor van Leusen and Reinhard Muskens. Construction by Description in Discourse Representation. In Jaroslav Peregrin, editor, Meaning: The Dynamic Turn, volume 12 of Current Research in the Semantics/Pragmatics Interface, pages 33–65. Elsevier, 2003. [ bib | .pdf ]
[33] Reinhard Muskens. Lambdas, Language, and Logic. In Geert-Jan Kruijff and Richard Oehrle, editors, Resource Sensitivity in Binding and Anaphora, volume 80 of Studies in Linguistics and Philosophy, pages 23–54. Kluwer, 2003. [ bib | .pdf ]
[32] Reinhard Muskens. Talking about Trees and Truth-conditions. Journal of Logic, Language and Information, 10(4):417–455, 2001. [ bib | SpringerLink | .pdf ]
[31] Reinhard Muskens. Categorial Grammar and Lexical-Functional Grammar. In Miriam Butt and Tracy Holloway King, editors, Proceedings of the LFG01 Conference, University of Hong Kong, pages 259–279, Stanford CA, 2001. CSLI Publications. http://csli-publications.stanford.edu/. [ bib | At CSLI | .pdf ]
[30] Reinhard Muskens. Lambda Grammars and the Syntax-Semantics Interface. In R. van Rooy and M. Stokhof, editors, Proceedings of the Thirteenth Amsterdam Colloquium, pages 150–155, Amsterdam, 2001. [ bib | .pdf ]
[29] Reinhard Muskens. Underspecified Semantics. In Urs Egli and Klaus von Heusinger, editors, Reference and Anaphoric Relations, volume 72 of Studies in Linguistics and Philosophy, pages 311–338. Kluwer, 2000. [ bib | .pdf ]
[28] Harry Bunt and Reinhard Muskens. Computational Semantics. In Harry Bunt and Reinhard Muskens, editors, Computing Meaning I, volume 73 of Studies in Linguistics and Philosophy, pages 1–32. Kluwer, 1999. [ bib ]
[27] Reinhard Muskens. Talking about Trees and Truth-conditions. In JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday (CD-Rom). Vossiuspers/Amsterdam University Press, 1999. [ bib | At University of Amsterdam | .pdf ]
[26] Reinhard Muskens. Coreference. In K. Brown and J. Miller, editors, Concise Encyclopedia of Grammatical Categories, page 123. Elsevier Science, Oxford, 1999. [ bib | .pdf ]
[25] Reinhard Muskens. On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic, 40(3):352–374, 1999. [ bib | At Project Euclid | .pdf ]
[24] Reinhard Muskens. Review of `Exploring Logical Dynamics', by Johan van Benthem. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 90:84–86, 1998. (in Dutch). [ bib | .pdf ]
[23] Reinhard Muskens and Emiel Krahmer. Description Theory, LTAGs and Underspecified Semantics. In Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks, pages 112–115, Philadelphia, PA, 1998. Institute for Research in Cognitive Science. [ bib | .pdf ]
[22] Reinhard Muskens, Johan van Benthem, and Albert Visser. Dynamics. In Johan van Benthem and Alice Ter Meulen, editors, Handbook of Logic and Language, pages 587–648. Elsevier, Amsterdam, 1997. [ bib | .pdf ]
[21] Reinhard Muskens. Program Semantics and Classical Logic. CLAUS Report 86, Universität des Saarlandes, January 1997. [ bib | .pdf ]
[20] Reinhard Muskens. Propositional Attitudes. In P. Lamarque, editor, Concise Encyclopedia of Philosophy of Language, pages 291–294. Pergamon, Oxford, 1997. [ bib | .pdf ]
[19] Massimo Poesio and Reinhard Muskens. The Dynamics of Discourse Situations. In Paul Dekker, Martin Stokhof, and Yde Venema, editors, Proceedings of the Eleventh Amsterdam Colloquium, pages 247–252. University of Amsterdam, Amsterdam, 1997. [ bib | .pdf ]
[18] Reinhard Muskens. Combining Montague Semantics and Discourse Representation. Linguistics & Philosophy, 19:143–186, 1996. [ bib | SpringerLink | .pdf ]
[17] Reinhard Muskens. Tense and the Logic of Change. In Urs Egli, E.P. Pause, Christoph Schwarze, Arnim Von Stechow, and G. Wienold, editors, Lexical Knowledge in the Organization of Language, pages 147–183. John Benjamins, Amsterdam, 1995. [ bib | .pdf ]
[16] Reinhard Muskens. Meaning and Partiality. CSLI, Stanford, 1995. [ bib | At Amazon.com ]
[15] Emiel Krahmer and Reinhard Muskens. Negation and Disjunction in Discourse Representation Theory. Journal of Semantics, 12:357–376, 1995. [ bib | .pdf ]
[14] Reinhard Muskens. A Compositional Discourse Representation Theory. In Paul Dekker and Martin Stokhof, editors, Proceedings of the Ninth Amsterdam Colloquium, pages 467–486, Amsterdam, 1994. ILLC, University of Amsterdam. [ bib ]
[13] Reinhard Muskens. Categorial Grammar and Discourse Representation Theory. In Proceedings of COLING 94, pages 508–514, Kyoto, 1994. [ bib | .pdf ]
[12] Emiel Krahmer and Reinhard Muskens. Umbrellas and bathrooms. In M. Harvey and L. Santelmann, editors, Proceedings of SALT IV, pages 179–194, Cornell, 1994. Cornell University. (A preliminary version of `Negation and Disjunction in Discourse Representation Theory'). [ bib ]
[11] Reinhard Muskens. Coreference. In R.E. Asher and J.M.Y. Simpson, editors, The Encyclopedia of Language and Linguistics, volume 2, page 769. Pergamon, Oxford, 1993. [ bib | .pdf ]
[10] Reinhard Muskens. Existence Predicate (Modeltheoretic). In R.E. Asher and J.M.Y. Simpson, editors, The Encyclopedia of Language and Linguistics, volume 3, page 1191. Pergamon, Oxford, 1993. [ bib | .pdf ]
[9] Reinhard Muskens. Partial Information. In R.E. Asher and J.M.Y. Simpson, editors, The Encyclopedia of Language and Linguistics, volume 6, pages 2952–2953. Pergamon, Oxford, 1993. [ bib | .pdf ]
[8] Reinhard Muskens. Perception Verbs. In R.E. Asher and J.M.Y. Simpson, editors, The Encyclopedia of Language and Linguistics, volume 6, pages 2999–3000. Pergamon, Oxford, 1993. [ bib | .pdf ]
[7] Reinhard Muskens. Propositional Attitudes. In R.E. Asher and J.M.Y. Simpson, editors, The Encyclopedia of Language and Linguistics, volume 6, pages 3380–3383. Pergamon, Oxford, 1993. [ bib | .pdf ]
[6] Reinhard Muskens. Logical Omniscience and Classical Logic. In David Pearce and G. Wagner, editors, Logics in AI, Proceedings of Jelia '92, pages 52–64, Berlin, 1992. Springer-Verlag. (A preliminary version of `Hyperfine-grained Meanings in Classical Logic'). [ bib ]
[5] Reinhard Muskens. Anaphora and the Logic of Change. In Jan van Eijck, editor, Logics in AI, Proceedings of JELIA '90, pages 414–430. Springer-Verlag, Berlin, 1991. [ bib | .pdf ]
[4] Reinhard Muskens. Hyperfine-Grained Meanings in Classical Logic. Logique & Analyse, 133/134:159–176, 1991. [ bib | .pdf ]
[3] Reinhard Muskens. A Relational Formulation of the Theory of Types. Linguistics & Philosophy, 12:325–346, 1989. [ bib | SpringerLink | .pdf ]
[2] Reinhard Muskens. Going Partial in Montague Grammar. In Renate Bartsch, Johan van Benthem, and Peter van Emde Boas, editors, Semantics and Contextual Expression, pages 175–220. Foris, Dordrecht, 1989. [ bib ]
[1] Reinhard Muskens. Meaning and Partiality. PhD thesis, University of Amsterdam, 1989. [ bib ]

This file was generated by bibtex2html 1.98.