A Modal Logic for Non-Deterministic Discourse Processing

Authors:
Tim Fernando
Affiliations:
Computer Science Department, Trinity College, Dublin 2, Ireland. E-mail: fernando@ims.uni-stuttgart.de
Venue:
Journal of Logic, Language and Information
Year:
1999

Citing 1
Cited 2

Type-theoretical grammar

Type-theoretical grammar

Ambiguous Discourse in a Compositional Context. An Operational Perspective

Journal of Logic, Language and Information
Ambiguous propositions typed

EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics

Quantified Score

Hi-index	0.00

Visualization

Abstract

A modal logic for translating a sequence of English sentencesto a sequence of logical forms is presented, characterized by Kripkemodels with points formed from input/output sequences, and valuationsdetermined by entailment relations. Previous approaches based (to onedegree or another) on Quantified Dynamic Logic are embeddable within it.Applications to presupposition and ambiguity are described, and decisionprocedures and axiomatizations supplied.