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

Personal profile

Research interests

I am interested in the logic of ordinary language. Logicians study concepts such as truth, consequence, proof, computation and information with the help of formal languages, but it has increasingly become clear that many insights thus obtained also apply to ordinary spoken and written languages. My particular interest is in the question how linguistic expressions manage to carry meaning.

For more information, see my website, where you can find my CV and pdf versions of most of my publications. Google Scholar, and my PhilPeople site are alternative options.

Keywords

  • Logic
  • Philosophy
  • Philosophy Of Language
  • Syntax
  • Semantics
  • Logic And Philosophy Of Language
  • Computational Semantics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1989 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

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

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

Activities 2010 2017

  • 2 Editorial activity

Journal of philosophical logic (Journal)

R.A. Muskens (Editor in chief)
2017

Activity: Publication peer-review and editorial work typesEditorial activityScientific

Journal of logic, language and information (Journal)

R.A. Muskens (Editor of special issue)
2010

Activity: Publication peer-review and editorial work typesEditorial activityScientific

Projects 1995 2018

NatLogProofSem: Natural Logic and Proof-theoretic Semantics

Muskens, R., Cooper, R., Moss, L., Pratt-Hartmann, I., Barker, C., Szabolcsi, A. & Bernardi, R.

1/01/1531/12/18

Project: Research project

Towards Logics that Model Natural Reasoning

Muskens, R., Abzianidze, L., Reinert, J., Uckelman, S. L. & Tomaszewicz, B. M.

1/03/1131/12/15

Project: Research project

A Global Network for Lambda Grammars and Abstract Categorial Grammars

Muskens, R., Francez, N., de Groote, P. & Kanazawa, M.

1/01/0731/12/09

Project: Research project

Integratie van semantische theorieën

Muskens, R.

1/01/011/01/04

Project: Research project