Anaphora and the Logic of Change. - Reinhard Muskens (JELIA, 1990)

Logical Omniscience and Classical Logic. - Reinhard Muskens (JELIA, 1992)

Categorial Grammar And Discourse Representation Theory. - Reinhard Muskens (COLING, 1994)

Negation and Disjunction in Discourse Representation Theory. - Emiel Krahmer; Reinhard Muskens (J. Semant., 1995)

Dynamics. - Reinhard Muskens; Johan van Benthem; Albert Visser (Handbook of Logic and Language, 1997)

Description theory, LTAGs and underspecified semantics. - Reinhard Muskens; Emiel Krahmer (TAG+, 1998)

On Partial and Paraconsistent Logics. - Reinhard Muskens (Notre Dame J. Formal Log., 1999)

Talking about Trees and Truth-Conditions. - Reinhard Muskens (J. Log. Lang. Inf., 2001)

Higher order modal logic. - Reinhard Muskens (Handbook of Modal Logic, 2007)

Intensional models for the theory of types. - Reinhard Muskens (J. Symb. Log., 2007)

An Analytic Tableau System for Natural Logic. - Reinhard Muskens (Amsterdam Colloquium on Logic, Language and Meaning, 2009)

New Directions in Type-Theoretic Grammars. - Reinhard Muskens (J. Log. Lang. Inf., 2010)

A Theory of Names and True Intensionality. - Reinhard Muskens (Amsterdam Colloquium on Logic, Language and Meaning, 2011)

Analytic Tableaux for all of SIXTEEN 3. - Reinhard Muskens; Stefan Wintein (J. Philos. Log., 2015)

From Bi-facial Truth to Bi-facial Proofs. - Stefan Wintein; Reinhard Muskens (Stud Logica, 2015)

Context Update for Lambdas and Vectors. - Reinhard Muskens; Mehrnoosh Sadrzadeh (LACL, 2016)

A Gentzen Calculus for Nothing but the Truth. - Stefan Wintein; Reinhard Muskens (J. Philos. Log., 2016)

Interpolation Methods for Dunn Logics and Their Extensions. - Stefan Wintein; Reinhard Muskens (Stud Logica, 2017)

Static and dynamic vector semantics for lambda calculus models of natural language. - Mehrnoosh Sadrzadeh; Reinhard Muskens (J. Lang. Model., 2018)

Interpolation in 16-Valued Trilattice Logics. - Reinhard Muskens; Stefan Wintein (Stud Logica, 2018)