Resolving modal anaphora in dependent type semantics

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

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


This paper presents an analysis of modal subordination in the framework of Dependent Type Semantics, a framework of natural language semantics based on dependent type theory. Dependent types provide powerful type structures that have been applied to various discourse phenomena in natural language, yet there has been little attempt to produce an account of modality and its interaction with anaphora from the perspective of dependent type theory. We extend the framework of Dependent Type Semantics with a mechanism of handling explicit quantification over possible worlds, and show how modal anaphora and subordination can be handled within this framework.

Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers
EditorsTsuyoshi Murata, Koji Mineshima, Daisuke Bekki
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783662481189
Publication statusPublished - 2015
Externally publishedYes
Event6th International Symposium on Artificial Intelligence, JSAI 2014 - Kanagawa, Japan
Duration: 2014 Oct 272014 Oct 28

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other6th International Symposium on Artificial Intelligence, JSAI 2014

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Resolving modal anaphora in dependent type semantics'. Together they form a unique fingerprint.

Cite this