• Netherlands

  • Warandelaan 2, Dante Building, room D 245

    5037 AB Tilburg

    Netherlands

1989 …2018
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 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

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

A Natural Proof System for Natural Language

Abzianidze, L. 2017 Ridderkerk: Ridderprint. 210 p.

Research output: ThesisDoctoral ThesisScientific

Open Access
File

Impossible Intentionality: Lewis, Meinong, and the Ontological Foundations of Intentional Semantics

Reinert, J. 2017 S.l.: [s.n.].

Research output: ThesisDoctoral ThesisScientific

Open Access
File

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

Activities 2010 2017

  • 2 Editorial activity

Journal of philosophical logic (Journal)

Muskens, R. (Editor in chief)
2017

Activity: Editorial activityScientific

Journal of logic, language and information (Journal)

Muskens, R. (Editor of special issue)
2010

Activity: Editorial 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. & Tomaszewicz, B.

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 projectCollaborative grants

Integratie van semantische theorieën

Muskens, R.

1/01/011/01/04

Project: Research project