R. Muskens

Most-cited papers

Meaning and Partiality
R. Muskens
1995190 citations
Semantic Scholar
Type-logical semantics
R. Muskens
2010146 citations Open access
Semantic Scholar
Tense and the logic of change
R. Muskens
199595 citations Open access
Semantic Scholar
Language, Lambdas, and Logic ∗
R. Muskens
72 citations
Semantic Scholar
Sense and the Computation of Reference
R. Muskens
200570 citations Open access
Semantic Scholar
A compositional discourse representation theory
R. Muskens, P. Dekker, M. Stokhof
199456 citations
Semantic Scholar
Anaphora and the Logic of Change
R. Muskens
1990European Conference on Logics in Artificial Intelligence56 citations
Semantic Scholar
Intensional models for the theory of types
R. Muskens
2006Journal of Symbolic Logic (JSL)53 citations Open access
Semantic Scholar
Computational Semantics
H. Bunt, R. Muskens
200452 citations Open access
Semantic Scholar
Negation and Disjunction in Discourse Representation Theory
E. Krahmer, R. Muskens
1995Journal of Semantics49 citations
Semantic Scholar
Lambda-Grammars and the Syntax-Semantics Interface
R. Muskens
200148 citations
Semantic Scholar
Talking about Trees and Truth-conditions
R. Muskens, J. Gerbrandy, maarten marx, M. de Rijke
199846 citations
Semantic Scholar
Separating Syntax and Combinatorics in Categorial Grammar
R. Muskens
200740 citations Open access
Semantic Scholar
Higher order modal logic
R. Muskens
2007Handbook of Modal Logic38 citations Open access
Semantic Scholar
Categorial Grammar and Lexical-Functional Grammar ⁄
R. Muskens
200137 citations
Semantic Scholar
A relational formulation of the theory of types
R. Muskens
198935 citations Open access
Semantic Scholar
On Partial and Paraconsistent Logics
R. Muskens
1999Notre Dame J. Formal Log.29 citations Open access
Semantic Scholar
Categorial Grammar and Discourse Representation Theory
R. Muskens
1994International Conference on Computational Linguistics29 citations Open access
Semantic Scholar
Order-Independence and Underspecification
R. Muskens, H. Kamp, B. Partee
2002Context-Dependence in the Analysis of Linguistic Meaning28 citations Open access
Semantic Scholar
Construction by Description in Discourse Representation
Noor van Leusen, R. Muskens
200320 citations
Semantic Scholar
An Analytic Tableau System for Natural Logic
R. Muskens
2009Amsterdam Colloquium on Logic, Language and Meaning19 citations Open access
Semantic Scholar
Going partial in Montague grammar
R. Muskens
198918 citations Open access
Semantic Scholar
New Directions in Type-Theoretic Grammars
R. Muskens
2010Journal of Logic, Language and Information14 citations Open access
Semantic Scholar
Computing Meaning - Volume 1
Harry Bunt, R. Muskens, E. Thijsse
200114 citations
Semantic Scholar
Dynamics
R. Muskens, J. van Benthem, A. Visser
1997Handbook of Logic and Language13 citations
Semantic Scholar
Hyperfine-Grained Meanings in Classical Logic
R. Muskens
199113 citations
Semantic Scholar
Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language
M. Sadrzadeh, R. Muskens
2018Journal of Language Modelling12 citations Open access
Semantic Scholar
A Gentzen Calculus for Nothing but the Truth
S. Wintein, R. Muskens
2016Journal of Philosophical Logic12 citations Open access
Semantic Scholar
Games, logic, and constructive sets
G. Mints, R. Muskens
200312 citations
Semantic Scholar
Description theory, LTAGs and underspecified semantics
R. Muskens, E. Krahmer
1998Tag11 citations
Semantic Scholar
Underspecified Semantics ∗
R. Muskens
199910 citations Open access
Semantic Scholar
A squib on anaphora and coindexing
R. Muskens
2011Linguistics and Philosophy9 citations Open access
Semantic Scholar
Context Update for Lambdas and Vectors
R. Muskens, M. Sadrzadeh
2016Logical Aspects of Computational Linguistics8 citations Open access
Semantic Scholar
Formal Grammar
Annie Foret, G. Morrill, R. Muskens, R. Osswald +4 more
2016Lecture Notes in Computer Science7 citations
Semantic Scholar
A calculus for Belnap's logic in which each proof consists of two trees
S. Wintein, R. Muskens
20127 citations
Semantic Scholar
Data Semantics and Linguistic Semantics
R. Muskens
20136 citations
Semantic Scholar
Interpolation Methods for Dunn Logics and Their Extensions
S. Wintein, R. Muskens
2017Studia Logica: An International Journal for Symbolic Logic5 citations Open access
Semantic Scholar
International Workshop on Computational Semantics
Harry Bunt, R. Muskens, G. Rentier
19945 citations
Semantic Scholar
From Bi-facial Truth to Bi-facial Proofs
S. Wintein, R. Muskens
2015Studia Logica: An International Journal for Symbolic Logic4 citations Open access
Semantic Scholar
Analytic Tableaux for all of SIXTEEN3
R. Muskens, S. Wintein
2014Journal of Philosophical Logic4 citations Open access
Semantic Scholar
Program Semantics and Classical Logic
R. Muskens
19974 citations
Semantic Scholar
Umbrellas and Bathrooms
E. Krahmer, R. Muskens
19944 citations Open access
Semantic Scholar
λ-Grammars and the Syntax-Semantics Interface ∗
R. Muskens
4 citations
Semantic Scholar
The Logic of Sense and Reference
R. Muskens
20093 citations
Semantic Scholar
Underspeciied Semantics
R. Muskens
19993 citations
Semantic Scholar
Proceedings of the 13th International Conference on Computational Semantics - Long Papers
S. Chatzikyriakidis, Simon Dobnik, V. Demberg, Asad B. Sayeed +496 more
20192 citations Open access
Semantic Scholar
Lambdas and Vectors
R. Muskens
20162 citations
Semantic Scholar
Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers
T. Icard, R. Muskens
2010ESSLLI Student Sessions2 citations
Semantic Scholar
Serious computing with tense
F. Nauze, M. van Lambalgen, Harry Bunt, R. Muskens
20042 citations Open access
Semantic Scholar
From Lexical Item to Discourse Meaning: Computational and Representational Tools
Harry Bunt, R. Muskens, E. Thijsse
20012 citations
Semantic Scholar