• 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

2019
3 Downloads (Pure)

Deontic Modality in Rationality and Reasoning

Marra, A., 2019, S.l.: [s.n.]. 125 p.

Research output: ThesisDoctoral ThesisScientific

Open Access
File
Rationality
Deontic Modality
Inference Rules
Logic
Practical Rationality

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

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

484 Downloads (Pure)

A Natural Proof System for Natural Language

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

Research output: ThesisDoctoral ThesisScientific

Open Access
File
53 Downloads (Pure)

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
1 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
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

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

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

322 Downloads (Pure)

Playing with truth

Wintein, S., 2012, Rotterdam: Optima Grafische Communicatie. 231 p.

Research output: ThesisDoctoral ThesisScientific

File
2011
60 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

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

2007

Computing meaning: Volume 3

Bunt, H. C. (ed.) & Muskens, R. A. (ed.), 2007, Dordrecht: Springer. 477 p. (Studies in Linguistics and Philosophy; no. 83)

Research output: Book/ReportBook editingScientificpeer-review

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
2005
88 Downloads (Pure)

Sense and the Computation of Reference

Muskens, R. A., 2005, In : Linguistics and philosophy. 28, 4, p. 473-504 31 p.

Research output: Contribution to journalArticleScientificpeer-review

File
formalization
Values
Referent
Possible Worlds
Dictum
21 Downloads (Pure)

Synonymy, common knowledge, and the social construction of meaning

Muskens, R. A., 2005, Proceedings of the Fifteenth Amsterdam Colloquium. Dekker, P. & Franke, M. (eds.). Amsterdam: ILLC/Department of Philosophy, UvA, p. 161-166

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

File
2004

Order-independence and underspecification

Muskens, R. A., 2004, Context-dependence in the analysis of linguistic meaning. Kamp, H. & Partee, B. H. (eds.). Amsterdam: Elsevier, p. 239-254 25 p. (Current research in the semantics/pragmatics interface).

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

2003
63 Downloads (Pure)

Construction by description in discourse representation

van Leusen, N. & Muskens, R. A., 2003, Meaning: The dynamic turn. Peregrin, J. (ed.). Amsterdam: Elsevier, p. 33-65 (Current Research in the Semantics/Pragmatics Interface; no. 12).

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

File
discourse
metalanguage
model theory
logic
language

Games, logic, and constructive sets

Mints, G. (ed.) & Muskens, R. A. (ed.), 2003, Stanford, CA: CSLI Publications. (CLSI Lecture Notes; no. 161)

Research output: Book/ReportBook editingScientificpeer-review

Game Theory
Logic
Logicians
Theorists
Connectives
159 Downloads (Pure)

Language, lambdas, and logic

Muskens, R. A., 2003, Resource-sensitivity, binding and anaphora. Kruijff, G. J. M. & Oehrle, R. T. (eds.). Dordrecht: Kluwer, p. 23-54 32 p. (Studies in linguistics and philosophy; no. 80).

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

File
2001
87 Downloads (Pure)

Categorial grammar and lexical-functional grammar

Muskens, R. A., 2001, Proceedings of the LFG01 Conference, University of Hong Kong, Hong Kong. Butt, M. & King, T. H. (eds.). Stanford, CA: CSLI Publications, p. 259-279 21 p.

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

File
Semantics
Chemical analysis

Computing Meaning: Volume 2

Bunt, H. C. (ed.), Muskens, R. A. (ed.) & Thijsse, E. (ed.), 2001, Dordrecht: Kluwer Academic Publishers. 312 p. (Studies in linguistics and philosophy; no. 77)

Research output: Book/ReportBook editingScientificpeer-review

Computational
Natural Language
Inference
Linguistic Semantics
Semantic Information
90 Downloads (Pure)

Lambda grammars and the syntax-semantics interface

Muskens, R. A., 2001, Proceedings of the Thirteenth Amsterdam Colloquium. van Rooy, R. & Stokhof, M. (eds.). Amsterdam: Universiteit van Amsterdam, p. 150-155

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

File
40 Downloads (Pure)

Talking about trees and truth-conditions

Muskens, R. A., 2001, In : Journal of logic, language and information. 10, 4, p. 417-455 39 p.

Research output: Contribution to journalArticleScientificpeer-review

File
grammar
Semantics
semantics
syntax
language
2000

Underspecified semantics

Muskens, R. A., 2000, Reference and anaphoric relations. von Heusinger, K. & Egli, U. (eds.). Dordrecht / Boston / London: Kluwer Academic Publishers, p. 311-338 28 p.

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

1999
21 Downloads (Pure)

Computational semantics

Bunt, H. C. & Muskens, R. A., 1999, Computing meaning, Volume 1. Bunt, H. C. & Muskens, R. A. (eds.). Dordrecht / Boston / London: Kluwer Academic Publishers, p. 1-32 33 p. (Studies in linguistics and philosophy; no. 73).

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

File

Computing Meaning, Volume 1

Bunt, H. C. (ed.) & Muskens, R. A. (ed.), 1999, Dordrecht / Boston / London: Kluwer Academic Publishers. 360 p. (Studies in Linguistics and Philosophy; no. 73)

Research output: Book/ReportBook editingScientificpeer-review

Coreference

Muskens, R. A., 1999, Concise Encyclopedia of Grammatical Categories. Brown, K. & Miller, J. (eds.). Oxford: Elsevier Science, p. 123 507 p.

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

48 Downloads (Pure)

On partial and paraconsistent logics

Muskens, R. A., 1999, In : Notre Dame journal of formal logic. 40, 3, p. 352-374 23 p.

Research output: Contribution to journalArticleScientificpeer-review

File
26 Downloads (Pure)

Talking about trees and truth-conditions

Muskens, R. A., 1999, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Gerbrandy, J., Marx, M. & de Rijke, M. (eds.). Amsterdam: Amsterdam University Press, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

File
1998
32 Downloads (Pure)

Description Theory, LTAGS, and Underspecified Semantics

Muskens, R. A. & Krahmer, E. J., 1998, Proceedings Fourth International Workshop on Tree-Adjoining Grammars and Related Frameworks. Philadelphia: IRCS, p. 112-115 4 p.

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

File

Talking about trees and truthconditions

Muskens, R. A. & Krahmer, E. J., 1998, Logical Aspects of Computational Linguistics (LACL '98), Grenoble, December 14-16, 1998. Unknown Publisher

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional