@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}
}
@article{statdynvec,
author = {Mehrnoosh Sadrzadeh and Reinhard Muskens},
title = {{Static and Dynamic Vector Semantics for Lambda Calculus
Models of Natural Language}},
journal = {Journal of Language Modelling},
year = {2019},
volume = {6},
number = {2},
pages = {319--351},
pdf = {http://jlm.ipipan.waw.pl/index.php/JLM/article/download/228/214}
}
This file was generated by bibtex2html 1.98.