Skip to Main content Skip to Navigation
Conference papers

Quantification in Frame Semantics with Hybrid Logic

Abstract : This paper aims at integrating logical operators into frame-based semantics. Frames are semantic graphs that allow to capture lexical meaning in a fine-grained way but that do not come with a natural way to integrate logical operators such as quantifiers. The approach we propose starts from the observation that modal logic is a powerful tool for describing relational structures, hence frames. We use its hybrid logic extension in order to incorporate quantification and thereby allow for inference and reasoning. We develop a type theoretic compositional semantics using this approach, formulated within Abstract Categorial Grammar.
Document type :
Conference papers
Complete list of metadata
Contributor : Sylvain Pogodalla Connect in order to contact the contributor
Submitted on : Friday, September 4, 2015 - 9:11:11 AM
Last modification on : Thursday, January 20, 2022 - 4:15:30 PM
Long-term archiving on: : Wednesday, April 26, 2017 - 1:53:18 PM


Files produced by the author(s)


  • HAL Id : hal-01151641, version 4



Laura Kallmeyer, Timm Lichte, Rainer Osswald, Sylvain Pogodalla, Christian Wurm. Quantification in Frame Semantics with Hybrid Logic. Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain. ⟨hal-01151641v4⟩



Les métriques sont temporairement indisponibles