Reinhard Muskens - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2018

Interpolation in 16-Valued Trilattice LogicsReinhard Muskens, Stefan Wintein. sLogica, 106(2):345-370, 2018. [doi]

Static and dynamic vector semantics for lambda calculus models of natural languageMehrnoosh Sadrzadeh, Reinhard Muskens. jlm, 6(2):319-351, 2018. [doi]

2017

Interpolation Methods for Dunn Logics and Their ExtensionsStefan Wintein, Reinhard Muskens. sLogica, 105(6):1319-1347, 2017. [doi]

2016

Context Update for Lambdas and VectorsReinhard Muskens, Mehrnoosh Sadrzadeh. lacl 2016: 247-254 [doi]

A Gentzen Calculus for Nothing but the TruthStefan Wintein, Reinhard Muskens. jphil, 45(4):451-465, 2016. [doi]

2015

3Reinhard Muskens, Stefan Wintein. jphil, 44(5):473-487, 2015. [doi]

From Bi-facial Truth to Bi-facial ProofsStefan Wintein, Reinhard Muskens. sLogica, 103(3):545-558, 2015. [doi]

2011

A Theory of Names and True IntensionalityReinhard Muskens. amsterdam 2012: 441-449 [doi]

2010

New Directions in Type-Theoretic GrammarsReinhard Muskens. jolli, 19(2):129-136, 2010. [doi]

2009

An Analytic Tableau System for Natural LogicReinhard Muskens. amsterdam 2010: 104-113 [doi]

2007

Intensional models for the theory of typesReinhard Muskens. JSYML, 72(1):98-118, 2007. [doi]

Higher order modal logicReinhard Muskens. In Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter, editors, Handbook of Modal Logic. Volume 3 of Studies in logic and practical reasoning, pages 621-653, North-Holland, 2007. [doi]

2001

Talking about Trees and Truth-ConditionsReinhard Muskens. jolli, 10(4):417-455, 2001.

1999

On Partial and Paraconsistent LogicsReinhard Muskens. ndjfl, 40(3):352-374, 1999.

1998

Description theory, LTAGs and underspecified semanticsReinhard Muskens, Emiel Krahmer. tag 1998: 112-115 [doi]

1997

DynamicsReinhard Muskens, Johan van Benthem, Albert Visser. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 587-648, North Holland / Elsevier, 1997. [doi]

1995

Negation and Disjunction in Discourse Representation TheoryEmiel Krahmer, Reinhard Muskens. jsemantics, 12(4):357-376, 1995. [doi]

1994

Categorial Grammar And Discourse Representation TheoryReinhard Muskens. coling 1994: 508-514 [doi]

1992

Logical Omniscience and Classical LogicReinhard Muskens. jelia 1992: 52-64

1990

Anaphora and the Logic of ChangeReinhard Muskens. jelia 1991: 412-427

Sign in or sign up to see more results.

runs on WebDSL