• Netherlands

  • Warandelaan 2, Dante Building, room D 245

    5037 AB Tilburg

    Netherlands

1989 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1989 2019

2007

Computing the semantic information in an utterance

Bunt, H. C. & Muskens, R. A., 2007, Computing Meaning, Volume 3. Bunt, H. C. & Muskens, R. A. (eds.). Dordrecht: Springer, p. 1-10 10 p. (Studies in Linguistics and Philosophy; no. 83).

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

141 Downloads (Pure)

Higher order modal logic

Muskens, R. A., 2007, Handbook of modal logic. Blackburn, P., van Benthem, J. F. A. K. & Wolter, F. (eds.). Amsterdam: Elsevier, p. 621-653 33 p. (Studies in logic and practical reasoning; no. 3).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

File
65 Downloads (Pure)

Intensional models for the theory of types

Muskens, R. A., 2007, In : The journal of symbolic logic. 72, 1, p. 98-118 21 p.

Research output: Contribution to journalArticleScientificpeer-review

File
42 Downloads (Pure)

Separating syntax and combinatorics in categorial grammar

Muskens, R. A., 2007, In : Research on Language and Computation. 5, 3, p. 267-285 17 p.

Research output: Contribution to journalArticleScientificpeer-review

File
2009

Tableaus for natural logic

Muskens, R. A., 2009, Proceedings of Logic and Engineering of Natural Language Semantics 6. Bekki, D. (ed.). Tokyo: Campus Innovation Center, p. 259-273

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2010

An analytic tableau system for natural logic

Muskens, R. A., 2010, Logic, language and meaning. Aloni, M., Bastiaanse, H., de Jager, T. & Schulz, K. (eds.). Berlin: Springer, p. 104-133 (Lecture Notes in Artificial Intelligence; no. 6024).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Dynamics

Muskens, R. A., van Benthem, J. & Visser, A., 2010, Handbook of logic and language (second edition). van Benthem, J. F. A. K. & ter Meulen, A. (eds.). Amsterdam: Elsevier, p. 607-670 63 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Interfaces: Explorations in logic, language and computation

Icard, T. (ed.) & Muskens, R. A. (ed.), 2010, Berlin: Springer. 167 p. (Lecture Notes in Artificial Intelligence; no. 6211)

Research output: Book/ReportBook editingScientificpeer-review

83 Downloads (Pure)

New directions in type-theoretic grammars

Muskens, R. A., 2010, In : Journal of logic, language and information. 19, 2, p. 129-136 8 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2011
62 Downloads (Pure)

A squib on anaphora and coindexing

Muskens, R. A., 2011, In : Linguistics and philosophy. 34, p. 85-89 5 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Type-logical semantics

Muskens, R. A., 2011, Routledge encyclopedia of philosophy online. Craig, E. (ed.). London: Routledge

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2012

A calculus for Belnap's logic in which each proof consists of two trees

Wintein, S. & Muskens, R. A., 2012, In : Logique et Analyse. 220, p. 643-656 14 p.

Research output: Contribution to journalArticleScientificpeer-review

A theory of names and true intensionality

Muskens, R. A., 2012, Logic, language and meaning. Aloni, M., Kimmelman, V., Roelofsen, F., Sassoon, G. W., Schulz, K. & Westera, M. (eds.). Berlin/Heidelberg: Springer, p. 441-449 9 p. (LNCS; no. 7218).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2013

Data Semantics and Linguistic Semantics

Muskens, R. A., 2013, The dynamic, inquisitive, and visionary life of ϕ, ?ϕ, and ◊ϕ : A festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman. ILLC/Department of Philosophy, UvA, p. 175-183 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

2014

Analytic Tableaux for all of SIXTEEN_3

Muskens, R. A. & Wintein, S., 2014, In : Journal of philosophical logic. p. 1-15 16 p.

Research output: Contribution to journalArticleScientificpeer-review

Tableaux
Tableau
Calculi
Entailment
Logic

Formal Grammar: 19th International Conference

Morrill, G. (ed.), Muskens, R. (ed.), Osswald, R. (ed.) & Richter, F. (ed.), 2014, Springer.

Research output: Book/ReportBook editingScientificpeer-review

From Bi-facial Truth to Bi-facial Proofs

Wintein, S. & Muskens, R. A., 2014, In : Studia Logica. p. 1-14 14 p.

Research output: Contribution to journalArticleScientificpeer-review

Logic
Classical Logic
Valid
Tableau
Tableaux
2015

A Gentzen Calculus for Nothing but the Truth

Wintein, S. & Muskens, R., 2015, In : Journal of philosophical logic. p. 1-15 15 p.

Research output: Contribution to journalArticleScientificpeer-review

Gentzen
Calculi
Logic
Belnap
Language
2016

Context Update for Lambdas and Vectors

Muskens, R. & Sadrzadeh, M., 2016, Logical Aspects of Computational Linguistics: Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016 Nancy, France, December 5–7, 2016 Proceedings. Amblard, M., de Groote, P., Pogodalla, S. & Retoré, C. (eds.). Berlin Heidelberg: Springer, p. 247-254 7 p. (Lecture Notes in Computer Science; vol. 10054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Foret, A. (ed.), Morrill, G. (ed.), Muskens, R. (ed.), Osswald, R. (ed.) & Pogodalla, S. (ed.), 2016, Berlin Heidelberg: Springer. 333 p. (Lecture Notes in Computer Science; vol. 9804)

Research output: Book/ReportBook editingScientificpeer-review

2017

16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics

Muskens, R., 2017, A Programming Road to Logic, Maths, Language, and Philosophy: A Tribute to Jan van Eijck on the Occasion of his Retirement. Minica, S., Unger, C. & Wang, Y. (eds.). p. 56-76 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

2 Downloads (Pure)

Interpolation in 16-Valued Trilattice Logics

Muskens, R. & Wintein, S., 2017, In : Studia Logica. p. 1-26

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
Interpolate
Logic
Calculus
Intersection
Tableau
1 Downloads (Pure)

Interpolation Methods for Dunn Logics and Their Extensions

Wintein, S. & Muskens, R., 2017, In : Studia Logica. 105, 6, p. 1319–1347

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
Interpolation Method
Logic
Tableau
Interpolate
Interpolation

Lambdas, Vectors, and Word Meaning in Context

Muskens, R. & Sadrzadeh, M., 2017, Proceedings of the 21st Amsterdam Colloquium. Cremers, A., van Gessel, T. & Roelofsen, F. (eds.). p. 65-74 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
2018

Formal Grammar: 22nd International Conference, FG 2017 Toulouse, France, July 22–23, 2017 Revised Selected Papers

Foret, A. (ed.), Muskens, R. (ed.) & Pogodalla, S. (ed.), 2018, Springer. (Lecture Notes in Computer Science; vol. 10686)

Research output: Book/ReportBook editingScientificpeer-review

2019

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

Sadrzadeh, M. & Muskens, R., 2019, In : Journal of Language Modelling. 6, 2, p. 319-351 33 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
Lambda Calculus
Natural Language
Language
Denotation
Possible Worlds