Learn More
Finite-state descriptions for temporal semantics are outlined through which to distinguish soft inferences reflecting manners of conceptualization from more robust semantic entailments defined over models. Just what descriptions are built (before being interpreted model-theoretically) and how they are grounded in models of reality explain (upon examination)(More)
Intervals and the events that occur in them are encoded as strings, elaborating on a conception of events as " intervals cum description. " Notions of satisfaction in interval temporal logics are formulated in terms of strings, and the possibility of computing these via finite-state machines/transducers is investigated. This opens up temporal semantics to(More)
Notions of disambiguation supporting a compositional interpretation of ambiguous expressions and reeecting intuitions about how sentences combine in discourse are investigated. Expressions are analyzed both inductively by breaking them apart, and co-inductively by embedding them within larger contexts.
To address complications involving ambiguity, presupposition and impli-cature, three processes underlying natural language interpretation are isolated: translation , entailment and attunement. A metalanguage integrating these processes is outlined, elaborating on a proof-theoretic approach to presupposition. x1. Introduction. However outrageous Montague's(More)