Reinhard Muskens

26 papers B 6Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2018 B ed.
Formal Grammar - 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
FG
Annie Foret, Reinhard Muskens, Sylvain Pogodalla
2018 J jnl
Interpolation in 16-Valued Trilattice Logics.
Stud Logica
Reinhard Muskens, Stefan Wintein
2018 J jnl
Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language.
CoRR
Mehrnoosh Sadrzadeh, Reinhard Muskens
2018 J jnl
Static and dynamic vector semantics for lambda calculus models of natural language.
J. Lang. Model.
Mehrnoosh Sadrzadeh, Reinhard Muskens
2017 J jnl
Interpolation Methods for Dunn Logics and Their Extensions.
Stud Logica
Stefan Wintein, Reinhard Muskens
2016 J jnl
A Gentzen Calculus for Nothing but the Truth.
J. Philos. Log.
Stefan Wintein, Reinhard Muskens
2016 — conf
Context Update for Lambdas and Vectors.
LACL
Reinhard Muskens, Mehrnoosh Sadrzadeh
2016 B ed.
Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
FG
Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
2015 J jnl
Analytic Tableaux for all of
J. Philos. Log.
Reinhard Muskens, Stefan Wintein
2015 J jnl
From Bi-facial Truth to Bi-facial Proofs.
Stud Logica
Stefan Wintein, Reinhard Muskens
2014 B ed.
Formal Grammar - 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
FG
Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter
2011 — conf
A Theory of Names and True Intensionality.
Amsterdam Colloquium on Logic, Language and Meaning
Reinhard Muskens
2010 — ed.
Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers
ESSLLI Student Sessions
Thomas Icard, Reinhard Muskens
2010 J jnl
New Directions in Type-Theoretic Grammars.
J. Log. Lang. Inf.
Reinhard Muskens
2009 — conf
An Analytic Tableau System for Natural Logic.
Amsterdam Colloquium on Logic, Language and Meaning
Reinhard Muskens
2007 — ch.
Higher order modal logic.
Handbook of Modal Logic
Reinhard Muskens
2007 J jnl
Intensional models for the theory of types.
J. Symb. Log.
Reinhard Muskens
2006 J jnl
Intensional Models for the Theory of Types
CoRR
Reinhard Muskens
2001 J jnl
Talking about Trees and Truth-Conditions.
J. Log. Lang. Inf.
Reinhard Muskens
1999 J jnl
On Partial and Paraconsistent Logics.
Notre Dame J. Formal Log.
Reinhard Muskens
1998 — conf
Description theory, LTAGs and underspecified semantics.
TAG+
Reinhard Muskens, Emiel Krahmer
1997 — ch.
Dynamics.
Handbook of Logic and Language
Reinhard Muskens, Johan van Benthem, Albert Visser
1995 J jnl
Negation and Disjunction in Discourse Representation Theory.
J. Semant.
Emiel Krahmer, Reinhard Muskens
1994 B conf
Categorial Grammar And Discourse Representation Theory.
COLING
Reinhard Muskens
1992 B conf
Logical Omniscience and Classical Logic.
JELIA
Reinhard Muskens
1990 B conf
Anaphora and the Logic of Change.
JELIA
Reinhard Muskens