Stergios Chatzikyriakidis

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Propositional forms of judgemental interpretations
Journal of Logic, Language and Information
2023-10-24Paper
Gradability in MTT-Semantics2022-08-11Paper
Underspecification, parsing mismatches and routinisation: the historical development of the clitic systems of Greek dialects
Journal of Logic, Language and Information
2021-10-25Paper
A computational treatment of anaphora and its algorithmic implementation
Journal of Logic, Language and Information
2021-06-25Paper
Adjectival and adverbial modification: the view from modern type theories
Journal of Logic, Language and Information
2018-02-08Paper
Individuation criteria, dot-types and copredication: a view from modern type theories2017-12-18Paper
Proof assistants for natural language semantics
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
2017-02-22Paper
Natural language inference in Coq
Journal of Logic, Language and Information
2015-02-27Paper
Adverbs in a modern type theory
Logical Aspects of Computational Linguistics
2014-06-24Paper


Research outcomes over time


This page was built for person: Stergios Chatzikyriakidis