Reinhard Muskens

According to our database, Reinhard Muskens authored at least 20 papers between 1990 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Interpolation in 16-Valued Trilattice Logics.

Reinhard Muskens, Stefan Wintein

Stud Logica, 2018

Static and dynamic vector semantics for lambda calculus models of natural language.

Mehrnoosh Sadrzadeh, Reinhard Muskens

J. Lang. Model., 2018

2017

Interpolation Methods for Dunn Logics and Their Extensions.

Stefan Wintein, Reinhard Muskens

Stud Logica, 2017

2016

A Gentzen Calculus for Nothing but the Truth.

Stefan Wintein, Reinhard Muskens

J. Philos. Log., 2016

Context Update for Lambdas and Vectors.

Reinhard Muskens, Mehrnoosh Sadrzadeh

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

2015

From Bi-facial Truth to Bi-facial Proofs.

Stefan Wintein, Reinhard Muskens

Stud Logica, 2015

Analytic Tableaux for all of <i>SIXTEEN</i> ₃.

Reinhard Muskens, Stefan Wintein

J. Philos. Log., 2015

2011

A Theory of Names and True Intensionality.

Reinhard Muskens

Proceedings of the Logic, Language and Meaning - 18th Amsterdam Colloquium, 2011

2010

New Directions in Type-Theoretic Grammars.

Reinhard Muskens

J. Log. Lang. Inf., 2010

2009

An Analytic Tableau System for Natural Logic.

Reinhard Muskens

Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 2009

2007

Intensional models for the theory of types.

Reinhard Muskens

J. Symb. Log., 2007

Higher order modal logic.

Reinhard Muskens

Proceedings of the Handbook of Modal Logic., 2007

2001

Talking about Trees and Truth-Conditions.

Reinhard Muskens

J. Log. Lang. Inf., 2001

1999

On Partial and Paraconsistent Logics.

Reinhard Muskens

Notre Dame J. Formal Log., 1999

1998

Description theory, LTAGs and underspecified semantics.

Reinhard Muskens, Emiel Krahmer

Proceedings of the Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks, 1998

1997

Dynamics.

Reinhard Muskens, Johan van Benthem, Albert Visser

Proceedings of the Handbook of Logic and Language., 1997

1995

Negation and Disjunction in Discourse Representation Theory.

Emiel Krahmer, Reinhard Muskens

J. Semant., 1995

1994

Categorial Grammar And Discourse Representation Theory.

Reinhard Muskens

Proceedings of the 15th International Conference on Computational Linguistics, 1994

1992

Logical Omniscience and Classical Logic.

Reinhard Muskens

Proceedings of the Logics in AI, European Workshop, 1992

1990

Anaphora and the Logic of Change.

Reinhard Muskens

Proceedings of the Logics in AI, European Workshop, 1990