λ x. x (Kristina Liefke)
Papers
1. Content individuals, truthmaking conditions, and the formal semantics of attitude reports
Comment on Friederike Moltmann's "Truthmaker semantics for natural language" [preprint]
To appear (late 2020). Theoretical Linguistics 46 (3--4): 14 p.
2. Two types of English non-manner how-clauses [draft]
Invited for a volume on non-interrogative subordinate wh-clauses (ed. by C. Umbach & L. Jedrzejowski). [precis]
3. A compositional pluralist semantics for extensional and attitude verbs
To appear. Language, Cognition, and Mind, 16 p. [paper]
4. Reasoning with an (experiential) attitude
2020. New Frontiers in Artificial Intelligence (LNAI 12331): 1--18. [preprint]
5. A Propositionalist semantics for imagination and depiction reports
2020. Proceedings of Sinn und Bedeutung 24, 18 p. [poster]
2020. Logic and Algorithms in Computational Linguistics 2018 (SCI 860): 17--43. [preprint]
7. DPs and CPs in depiction complements
2019. Proceedings of the 22nd Amsterdam Colloquium, 10 p. [abstract]
8. A case for property-type semantics
2019. Proceedings of WoLLIC 2019 (LNCS 11541): 467--485. [preprint]
9. A 'situated' solution to Prior's substitution problem
2019. Proceedings of Sinn und Bedeutung 23: 55--72. [paper]
10. A case for property-ism
2018. Proceedings of LENLS 15, 14 p.
11. Evidence for single-type semantics – an alternative to e/t-based dual-type semantics, w. Markus Werning
2018. Journal of Semantics 35 (4): 639-685. [precis] [poster] [preprint]
12. Intertheoretic reduction, confirmation, and Montague's syntax-semantics relation, w. Stephan Hartmann
2018. Journal of Logic, Language and Information 27 (4): 313-341. [preprint]
13. Relating intensional semantic theories: established methods and surprising results
2018. New Frontiers in Artificial Intelligence (LNAI 10838): 171--187. [preprint]
14. Rich situated attitudes, with Mark Bowker (revised and extended version of 13.)
2017. New Frontiers in Artificial Intelligence (LNAI 10247): 45--61. [preprint]
15. Rich situated propositions: the 'right' objects for the content of propositional attitudes, with Mark Bowker
2016. Proceedings of LENLS 13: 173--186. [preprint]
16. A computable solution to Partee's temperature puzzle, with Sam Sanders
2016. Logical Aspects of Computational Linguistics 2016 (LNCS 10054): 175--190. [preprint]
17. A single-type logic for natural language
2015. Journal of Logic and Computation 25 (4): 1111--1131. [preprint]
18. Codability and robustness in formal natural language semantics
2015. New Frontiers in Artificial Intelligence (LNAI 9067): 6--22. [preprint]
19. A Single-Type Semantics for Natural Language
2014. My Tilburg University dissertation.
20. Solving Partee's temperature puzzle in an EFL-ontology
2014. Joint Proceedings of NLCS'14 & NLSR 2014: 7--18.
21. A single-type semantics for the PTQ*-fragment
2014. Proceedings of Sinn und Bedeutung 18: 253--270.
22. A single-type ontology for natural language
2013. Proceedings of GAP.8: 70--84.