JSAI International Symposium on Artificial Intelligence

JSAI-isAI 2014: New Frontiers in Artificial Intelligence pp 83-98

Resolving Modal Anaphora in Dependent Type Semantics

Conference paper

DOI: 10.1007/978-3-662-48119-6_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9067)
Cite this paper as:
Tanaka R., Mineshima K., Bekki D. (2015) Resolving Modal Anaphora in Dependent Type Semantics. In: Murata T., Mineshima K., Bekki D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2014. Lecture Notes in Computer Science, vol 9067. Springer, Berlin, Heidelberg


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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Ribeka Tanaka
    • 1
  • Koji Mineshima
    • 1
    • 3
  • Daisuke Bekki
    • 1
    • 2
    • 3
  1. 1.Ochanomizu UniversityTokyoJapan
  2. 2.National Institute of InformaticsTokyoJapan
  3. 3.CREST, Japan Science and Technology AgencyTokyoJapan

Personalised recommendations