pubs.bib

@article{musk:rela89,
  author = {Muskens, Reinhard},
  year = 1989,
  title = {A {R}elational {F}ormulation of the {T}heory of {T}ypes},
  journal = {Linguistics \& Philosophy},
  volume = 12,
  pdf = {relform.pdf},
  springer = {http://www.springerlink.com/link.asp?id=r18g4277r1j82k23},
  pages = {325--346}
}
@incollection{musk:goin99,
  author = {Muskens, Reinhard},
  year = 1989,
  title = {Going {P}artial in {M}ontague {G}rammar},
  editor = {Bartsch, Renate and van~Benthem, Johan and van~Emde Boas,
                  Peter},
  booktitle = {Semantics and Contextual Expression},
  publisher = {Foris},
  address = {Dordrecht},
  pages = {175--220}
}
@phdthesis{diss,
  author = {Muskens, Reinhard},
  year = 1989,
  title = {Meaning and {P}artiality},
  school = {University of Amsterdam}
}
@incollection{musk:anap91,
  author = {Muskens, Reinhard},
  year = {1991},
  title = {Anaphora and the {L}ogic of {C}hange},
  editor = {van Eijck, Jan},
  booktitle = {Logics in AI, Proceedings of JELIA '90},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pdf = {anaphora.pdf},
  pages = {414--430}
}
@article{musk:hype91,
  author = {Muskens, Reinhard},
  year = 1991,
  title = {Hyperfine-{G}rained {M}eanings in {C}lassical {L}ogic},
  journal = {Logique \& Analyse},
  volume = {133/134},
  pdf = {hyperfine.pdf},
  pages = {159--176}
}
@inproceedings{logomn,
  author = {Muskens, Reinhard},
  year = {1992},
  title = {Logical {O}mniscience and {C}lassical {L}ogic},
  editor = {Pearce, David and Wagner, G.},
  booktitle = {Logics in AI, Proceedings of Jelia '92},
  publisher = {Springer-Verlag},
  address = {Berlin},
  pages = {52--64},
  note = {(A preliminary version of `Hyperfine-grained Meanings in
                  Classical Logic')}
}
@incollection{coref,
  author = {Muskens, Reinhard},
  year = 1993,
  title = {Coreference},
  editor = {Asher,R.E. and Simpson, J.M.Y.},
  booktitle = {The Encyclopedia of Language and Linguistics},
  publisher = {Pergamon},
  address = {Oxford},
  volume = 2,
  pdf = {coref.pdf},
  pages = {769}
}
@incollection{existpred,
  author = {Muskens, Reinhard},
  year = 1993,
  title = {Existence {P}redicate ({M}odeltheoretic)},
  editor = {Asher,R.E. and Simpson, J.M.Y.},
  booktitle = {The Encyclopedia of Language and Linguistics},
  publisher = {Pergamon},
  address = {Oxford},
  volume = 3,
  pdf = {exispred.pdf},
  pages = {1191}
}
@incollection{partinf,
  author = {Muskens, Reinhard},
  year = 1993,
  title = {Partial {I}nformation},
  editor = {Asher,R.E. and Simpson, J.M.Y.},
  booktitle = {The Encyclopedia of Language and Linguistics},
  publisher = {Pergamon},
  address = {Oxford},
  volume = 6,
  pdf = {partinf.pdf},
  pages = {2952--2953}
}
@incollection{percverbs,
  author = {Muskens, Reinhard},
  year = 1993,
  title = {Perception {V}erbs},
  editor = {Asher,R.E. and Simpson, J.M.Y.},
  booktitle = {The Encyclopedia of Language and Linguistics},
  publisher = {Pergamon},
  address = {Oxford},
  volume = 6,
  pdf = {percepverbs.pdf},
  pages = {2999--3000}
}
@incollection{propatt,
  author = {Muskens, Reinhard},
  year = 1993,
  title = {Propositional {A}ttitudes},
  editor = {Asher,R.E. and Simpson, J.M.Y.},
  booktitle = {The Encyclopedia of Language and Linguistics},
  publisher = {Pergamon},
  address = {Oxford},
  volume = 6,
  pdf = {propatt.pdf},
  pages = {3380--3383}
}
@inproceedings{compdrt,
  author = {Muskens, Reinhard},
  year = {1994},
  title = {A {C}ompositional {D}iscourse {R}epresentation {T}heory},
  editor = {Dekker, Paul and Stokhof, Martin},
  booktitle = {Proceedings of the Ninth Amsterdam Colloquium},
  publisher = {ILLC, University of Amsterdam},
  address = {Amsterdam},
  pages = {467--486}
}
@inproceedings{cgdrt,
  author = {Muskens, Reinhard},
  year = {1994},
  title = {Categorial {G}rammar and {D}iscourse {R}epresentation
                  {T}heory},
  booktitle = {Proceedings of COLING 94},
  address = {Kyoto},
  pdf = {cgdrt.pdf},
  pages = {508--514}
}
@inproceedings{umbrbath,
  author = {Krahmer, Emiel and Muskens, Reinhard},
  year = {1994},
  title = {Umbrellas and Bathrooms},
  editor = {Harvey, M. and Santelmann, L.},
  booktitle = {Proceedings of SALT IV},
  publisher = {Cornell University},
  address = {Cornell},
  pages = {179--194},
  note = {(A preliminary version of `Negation and Disjunction in
                  Discourse Representation Theory')}
}
@incollection{musk:tens95,
  author = {Muskens, Reinhard},
  year = {1995},
  title = {Tense and the {L}ogic of {C}hange},
  editor = {Egli, Urs and Pause, E.P. and Schwarze, Christoph and Von
                  Stechow, Arnim and Wienold, G.},
  booktitle = {Lexical Knowledge in the Organization of Language},
  publisher = {John Benjamins},
  address = {Amsterdam},
  pdf = {tense.pdf},
  pages = {147--183}
}
@book{mp,
  author = {Muskens, Reinhard},
  year = 1995,
  title = {Meaning and {P}artiality},
  publisher = {CSLI},
  amazon = {http://www.amazon.com/exec/obidos/ASIN/1881526798/qid=1014905573/sr=8-1/ref=sr_8_1_1/103-3582795-5963038},
  address = {Stanford}
}
@article{dndrt,
  author = {Krahmer, Emiel and Muskens, Reinhard},
  year = 1995,
  title = {Negation and {D}isjunction in {D}iscourse {R}epresentation
                  {T}heory},
  journal = {Journal of Semantics},
  volume = 12,
  pdf = {nddrt.pdf},
  pages = {357--376}
}
@article{musk:comb96,
  author = {Muskens, Reinhard},
  year = 1996,
  title = {Combining {M}ontague {S}emantics and {D}iscourse
                  {R}epresentation},
  journal = {Linguistics \& Philosophy},
  volume = 19,
  pdf = {combining.pdf},
  springer = {http://www.springerlink.com/link.asp?id=g026402240067q07},
  pages = {143--186}
}
@incollection{dynamics,
  author = {Muskens, Reinhard and van Benthem, Johan and Visser,
                  Albert},
  year = 1997,
  title = {Dynamics},
  editor = {van Benthem, Johan and Ter Meulen, Alice},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  address = {Amsterdam},
  pdf = {dynamics.pdf},
  pages = {587--648}
}
@techreport{progsem,
  author = {Muskens, Reinhard},
  year = {1997},
  title = {Program {S}emantics and {C}lassical {L}ogic},
  institution = {Universit\"{a}t des Saarlandes},
  type = {CLAUS Report},
  number = {86},
  pdf = {classden.pdf},
  month = {January}
}
@incollection{propatt2,
  author = {Muskens, Reinhard},
  year = 1997,
  title = {Propositional {A}ttitudes},
  editor = {Lamarque, P.},
  booktitle = {Concise Encyclopedia of Philosophy of Language},
  publisher = {Pergamon},
  address = {Oxford},
  pdf = {propatt.pdf},
  pages = {291--294}
}
@incollection{dyndis,
  author = {Poesio, Massimo and Muskens, Reinhard},
  year = 1997,
  title = {The {D}ynamics of {D}iscourse {S}ituations},
  editor = {Dekker, Paul and Stokhof, Martin and Venema, Yde},
  booktitle = {Proceedings of the Eleventh Amsterdam Colloquium},
  publisher = {University of Amsterdam},
  address = {Amsterdam},
  pdf = {amsterdam97.pdf},
  pages = {247--252}
}
@article{revexpl,
  author = {Muskens, Reinhard},
  year = 1998,
  title = {Review of `{E}xploring {L}ogical {D}ynamics', by {J}ohan
                  van {B}enthem},
  journal = {Algemeen Nederlands Tijdschrift voor Wijsbegeerte},
  volume = {90},
  note = {(in Dutch)},
  pdf = {expl.pdf},
  pages = {84--86}
}
@inproceedings{descr,
  author = {Muskens, Reinhard and Krahmer, Emiel},
  year = {1998},
  title = {Description {T}heory, {LTAG}s and {U}nderspecified
                  {S}emantics},
  booktitle = {Fourth International Workshop on Tree Adjoining Grammars
                  and Related Frameworks},
  publisher = {Institute for Research in Cognitive Science},
  address = {Philadelphia, PA},
  pdf = {tagplus.pdf},
  pages = {112--115}
}
@incollection{compsem,
  author = {Bunt, Harry and Muskens, Reinhard},
  year = {1999},
  title = {Computational {S}emantics},
  editor = {Bunt, Harry and Muskens, Reinhard},
  booktitle = {Computing {M}eaning I},
  publisher = {Kluwer},
  series = {Studies in Linguistics and Philosophy},
  volume = {73},
  pages = {1--32}
}
@incollection{jfak,
  author = {Muskens, Reinhard},
  year = {1999},
  title = {Talking about {T}rees and {T}ruth-conditions},
  publisher = {Vossiuspers/Amsterdam University Press},
  pdf = {jfak.pdf},
  uva = {http://www.illc.uva.nl/j50/},
  booktitle = {JFAK, Essays Dedicated to Johan van Benthem on the
                  Occasion of his 50th Birthday (CD-Rom)}
}
@incollection{coref2,
  author = {Muskens, Reinhard},
  year = 1999,
  title = {Coreference},
  editor = {Brown, K. and Miller, J.},
  booktitle = {Concise Encyclopedia of Grammatical Categories},
  publisher = {Elsevier Science},
  address = {Oxford},
  pdf = {coref.pdf},
  pages = {123}
}
@article{partseq,
  author = {Muskens, Reinhard},
  year = 1999,
  title = {On {P}artial and {P}araconsistent {L}ogics},
  journal = {Notre Dame Journal of Formal Logic},
  volume = {40},
  number = {3},
  euclid = {http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1022615616},
  pdf = {parpar.pdf},
  pages = {352--374}
}
@incollection{unsem,
  author = {Muskens, Reinhard},
  year = 2000,
  title = {Underspecified {S}emantics},
  editor = {Egli, Urs and von Heusinger, Klaus},
  booktitle = {Reference and {A}naphoric {R}elations},
  publisher = {Kluwer},
  series = {Studies in Linguistics and Philosophy},
  volume = {72},
  pdf = {undersp.pdf},
  pages = {311--338}
}
@article{ttt,
  author = {Muskens, Reinhard},
  title = {Talking about {T}rees and {T}ruth-conditions},
  journal = {Journal of Logic, Language and Information},
  year = {2001},
  volume = {10},
  number = {4},
  pdf = {talking.pdf},
  springer = {http://springerlink.metapress.com/link.asp?id=t538g04430833v9t},
  pages = {417--455}
}
@inproceedings{cglfg,
  author = {Muskens, Reinhard},
  title = {Categorial {G}rammar and {L}exical-{F}unctional
                  {G}rammar},
  booktitle = {Proceedings of the LFG01 Conference, University of Hong
                  Kong},
  pages = {259--279},
  year = {2001},
  editor = {Butt, Miriam and King, Tracy Holloway},
  address = {Stanford CA},
  publisher = {CSLI Publications},
  pdf = {cglfg.pdf},
  csli = {http://cslipublications.stanford.edu/LFG/6/lfg01.html},
  note = {http://csli-publications.stanford.edu/}
}
@inproceedings{acoll13,
  author = {Muskens, Reinhard},
  title = {Lambda {G}rammars and the {S}yntax-{S}emantics
                  {I}nterface},
  booktitle = {Proceedings of the Thirteenth Amsterdam Colloquium},
  pages = {150--155},
  year = {2001},
  editor = {van Rooy, R. and Stokhof, M.},
  pdf = {amscoll.pdf},
  address = {Amsterdam}
}
@incollection{constr,
  author = {Noor van Leusen and Muskens, Reinhard},
  year = {2003},
  title = {Construction by {D}escription in {D}iscourse
                  {R}epresentation},
  editor = {Jaroslav Peregrin},
  booktitle = {Meaning: The Dynamic Turn},
  series = {Current Research in the Semantics/Pragmatics Interface},
  volume = {12},
  publisher = {Elsevier},
  pdf = {constr.pdf},
  pages = {33--65}
}
@incollection{lll,
  author = {Muskens, Reinhard},
  year = 2003,
  title = {Lambdas, {L}anguage, and {L}ogic},
  editor = {Geert-Jan Kruijff and Richard Oehrle },
  booktitle = {Resource Sensitivity in Binding and Anaphora},
  publisher = {Kluwer},
  series = {Studies in Linguistics and Philosophy},
  volume = 80,
  pdf = {lll.pdf},
  pages = {23--54}
}
@incollection{musk:ou04,
  author = {Muskens, Reinhard},
  year = {2004},
  title = {Order-{I}ndependence and {U}nderspecification},
  editor = {Kamp, Hans and Partee, Barbara},
  booktitle = {Context-dependence in the Analysis of Linguistic Meaning},
  series = {Current Research in the Semantics/Pragmatics Interface},
  volume = {11},
  publisher = {Elsevier},
  pdf = {oiu.pdf},
  note = {(Also appeared as {DYANA} {D}eliverable R.2.2.{C}, 1995)},
  pages = {239--254}
}
@article{sense,
  author = {Muskens, Reinhard},
  title = {{Sense and the Computation of Reference}},
  journal = {Linguistics \& Philosophy},
  year = {2005},
  volume = {28},
  number = {4},
  springer = {http://springerlink.metapress.com/link.asp?id=kkgu841477471683},
  pdf = {sense.pdf},
  pages = {473--504}
}
@incollection{ac05,
  author = {Muskens, Reinhard},
  title = {{Synonymy, Common Knowledge, and the Social Construction
                  of Meaning}},
  booktitle = {Proceedings of the Fifteenth Amsterdam Colloquium},
  publisher = {ILLC, University of Amsterdam},
  year = {2005},
  editor = {Paul Dekker and Michael Franke},
  pdf = {ac05.pdf},
  pages = {161--166}
}
@incollection{homl,
  author = {Muskens, Reinhard},
  title = {{Higher Order Modal Logic}},
  booktitle = {Handbook of Modal Logic},
  publisher = {Elsevier},
  year = {2006},
  pages = {621--653},
  pdf = {homl.pdf},
  editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter}
}
@article{intensional,
  author = {Muskens, Reinhard},
  title = {{Intensional Models for the Theory of Types}},
  journal = {The Journal of Symbolic Logic},
  year = {2007},
  volume = {72},
  number = {1},
  pdf = {intensional.pdf},
  pages = {98--118}
}
@article{separating,
  author = {Muskens, Reinhard},
  title = {{Separating Syntax and Combinatorics in Categorial
                  Grammar}},
  journal = {Research on Language and Computation},
  year = {2007},
  volume = {5},
  number = {3},
  pdf = {separating.pdf},
  pages = {267--285}
}
@incollection{utter,
  author = {Bunt, Harry and Muskens, Reinhard},
  title = {{Computing the Semantic Information in an Utterance}},
  booktitle = {Computing {M}eaning III},
  publisher = {Springer},
  year = {2007},
  pages = {1--10},
  editor = {Bunt, Harry and Muskens, Reinhard}
}
@inproceedings{lenls6,
  author = {Reinhard Muskens},
  title = {{Tableaus for Natural Logic}},
  editor = {Daisuke Bekki},
  pages = {259--273},
  booktitle = {Proceedings of the Sixth International Workshop of Logic
                  and Engineering of Natural Language Semantics (LENLS6)},
  year = {2009},
  publisher = {Campus Innovation Center},
  address = {Tokyo, Japan},
  pdf = {lenls6.pdf},
  month = {November}
}
@article{newdirections1,
  author = {Reinhard Muskens},
  title = {{New Directions in Type-Theoretic Grammars}},
  journal = {Journal of Logic, Language and Information},
  year = {2010},
  volume = {19},
  number = {2},
  pdf = {newdirections.pdf},
  springer = {http://www.springerlink.com/content/353868v4m333x506/},
  pages = {129--136}
}
@incollection{ac09,
  author = {Reinhard Muskens},
  title = {{An Analytic Tableau System for Natural Logic}},
  booktitle = {Logic, Language and Meaning},
  publisher = {Springer},
  year = {2010},
  editor = {M. Aloni and H. Bastiaanse and T. de Jager and K. Schulz},
  volume = {6042},
  series = {Lecture Notes in Artificial Intelligence},
  pdf = {ac09.pdf},
  pages = {104--113}
}
@incollection{dynamics2,
  author = {Muskens, Reinhard and van Benthem, Johan and Visser,
                  Albert},
  year = 2010,
  title = {Dynamics},
  editor = {van Benthem, Johan and Ter Meulen, Alice},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier},
  address = {Amsterdam},
  pages = {607--670},
  pdf = {dynamics.pdf},
  note = {(Revised version of \cite{dynamics})}
}
@incollection{tls,
  author = {Muskens, Reinhard},
  year = 2011,
  title = {{Type-logical Semantics}},
  editor = {E. Craig},
  booktitle = {Routledge Encyclopedia of Philosophy Online},
  url = {http://www.rep.routledge.com/article/U061},
  pdf = {rep.pdf},
  publisher = {Routledge}
}
@article{squib,
  author = {Reinhard Muskens},
  title = {{A Squib on Anaphora and Coindexing}},
  journal = {Linguistics \& Philosophy},
  year = {2011},
  volume = {34},
  number = {1},
  springer = {http://www.springerlink.com/content/v21r1v8gr1615ht1/},
  pdf = {squib.pdf},
  pages = {85--89}
}
@article{twotrees,
  author = {Stefan Wintein and Reinhard Muskens},
  title = {{A Calculus for Belnap's Logic in Which Each Proof
                  Consists of Two Trees}},
  journal = {Logique \& Analyse},
  year = {2012},
  volume = {220},
  pdf = {twotrees.pdf},
  pages = {643--656}
}
@incollection{ac11,
  author = {Reinhard Muskens},
  title = {{A Theory of Names and True Intensionality}},
  booktitle = {Logic, Language and Meaning: 18th Amsterdam Colloquium},
  publisher = {Springer},
  year = {2012},
  editor = {M. Aloni and V. Kimmelman and F. Roelofsen and G. Weidman
                  Sassoon and K. Schulz and M. Westera},
  volume = {7218},
  series = {Lecture Notes in Artificial Intelligence},
  pdf = {names.pdf},
  pages = {441--449}
}
@incollection{datasemfestschrift,
  author = {Reinhard Muskens},
  title = {{Data Semantics and Linguistic Semantics}},
  booktitle = {The Dynamic, Inquisitive, and Visionary Life of $\varphi$,
                  $?\varphi$, and $\lozenge\varphi$: A Festschrift for Jeroen
                  Groenendijk, Martin Stokhof, and Frank Veltman},
  publisher = {University of Amsterdam},
  year = {2013},
  editor = {Maria Aloni and Michael Franke and Floris Roelofsen},
  pages = {175--183},
  uva = {http://www.illc.uva.nl/Festschrift-JMF/},
  pdf = {datasem.pdf},
  address = {Amsterdam}
}
@article{bifacial,
  author = {Wintein, Stefan and Muskens, Reinhard A.},
  title = {{From Bi-facial Truth to Bi-facial Proofs}},
  journal = {Studia Logica},
  year = {2015},
  volume = {103},
  number = {3},
  springer = {https://link.springer.com/article/10.1007/s11225-014-9578-8},
  pdf = {bifacial.pdf},
  pages = {545--558}
}
@article{sixteen,
  author = {Muskens, Reinhard and Wintein, Stefan},
  title = {{Analytic Tableaux for all of \emph{SIXTEEN}$_3$}},
  journal = {Journal of Philosophical Logic},
  year = {2015},
  volume = {44},
  number = {5},
  springer = {https://link.springer.com/article/10.1007/s10992-014-9337-3},
  pdf = {16.pdf},
  pages = {473--487}
}
@article{gcnbtt,
  author = {Wintein, Stefan and Muskens, Reinhard},
  title = {{A Gentzen Calculus for Nothing but the Truth}},
  journal = {Journal of Philosophical Logic},
  year = {2016},
  pages = {451--465},
  volume = {45},
  springer = {https://link.springer.com/article/10.1007%2Fs10992-015-9385-3},
  pdf = {https://link.springer.com/content/pdf/10.1007%2Fs10992-015-9385-3.pdf},
  number = {4}
}
@incollection{lacl16,
  author = {Reinhard Muskens and Mehrnoosh Sadrzadeh},
  title = {{Context Update for Lambdas and Vectors}},
  booktitle = {Logical Aspects of Computational Linguistics 2016},
  publisher = {Springer},
  year = {2016},
  editor = {Maxime Amblard and Philippe de Groote and Sylvain
                  Pogodalla and Christian Retor\'e},
  series = {LNCS 10054},
  pdf = {lacl16.pdf},
  pages = {247--254}
}
@inproceedings{lamvec,
  author = {Reinhard Muskens and Mehrnoosh Sadrzadeh},
  title = {{Lambdas, Vectors, and Word Meaning in Context}},
  editor = {A. Cremers and T. van Gessel and F. Roelofsen},
  pages = {65--74},
  booktitle = {Proceedings of the 21st Amsterdam Colloquium},
  pdf = {ac17.pdf},
  year = {2017}
}
@incollection{jan,
  author = {Reinhard Muskens},
  title = {{16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics}},
  booktitle = {A Programming Road to Logic, Maths, Language, and Philosophy : A Tribute to Jan van Eijck on the Occasion of his Retirement},
  year = {2017},
  editor = {Stefan Minica and Christina Unger and Yanjing Wang},
  url = {http://jve2017.herokuapp.com/ReinhardMuskens.html}
}
@article{intdunn,
  pages = {1319--1347},
  number = {6},
  title = {{Interpolation Methods for Dunn Logics and Their Extensions}},
  journal = {Studia Logica},
  author = {Stefan Wintein and Reinhard Muskens},
  volume = {105},
  springer = {https://link.springer.com/article/10.1007/s11225-017-9720-5},
  pdf = {https://link.springer.com/content/pdf/10.1007%2Fs11225-017-9720-5.pdf},
  year = {2017}
}
@article{int16,
  volume = {106},
  title = {{Interpolation in 16-Valued Trilattice Logics}},
  number = {2},
  year = {2018},
  journal = {Studia Logica},
  pages = {345--370},
  springer = {https://link.springer.com/article/10.1007/s11225-017-9742-z},
  pdf = {https://link.springer.com/content/pdf/10.1007%2Fs11225-017-9742-z.pdf},
  author = {Reinhard Muskens and Stefan Wintein}
}

This file was generated by bibtex2html 1.98.