Sentence examples for model-theoretic semantics from inspiring English sources
Hence, standard model-theoretic semantics does not capture the whole content of a speaker's semantic competence, but only its structural aspects.
We begin with a model-theoretic semantics for Dedalus and introduce the ultimate model, which captures non-deterministic eventual outcomes of distributed programs.
We begin with a model-theoretic semantics for Dedalus and develop the concept of ultimate models to capture the non-deterministic eventual outcomes of distributed programs.
We propose a semantic foundation of interface specifications where any MIOD is equipped with a model-theoretic semantics describing the class of its correct implementation models.
The structured Bayesian approach makes it possible to formalize graded meaning and other phenomena in which uncertainty plays an important role in communication while remaining within the framework of compositional model-theoretic semantics.
In Situations and Attitudes Barwise and Perry provide the basics of a realistic model-theoretic semantics of natural language, explain the main ideas of the theory, and contrast them with those of competing theories.
To implement his objective, Montague applied the method which is standard for logical languages: model theoretic semantics.
Kripke's more abstract characterization of the worlds is crucial in the provision of a link between the model theoretic semantics and the algebra of modal logic.
The salient points of Montague's approach are a model theoretic semantics, a systematic relation between syntax and semantics, and a fully explicit description of a fragment of natural language.
On the one hand that was an offspring of Montague's approach because it used model theoretic semantics, on the other hand it was a deviation because (discourse) representations were an essential ingredient.
The most important features of the theory are its use of model theoretic semantics which has commonly been used for the semantics of logical languages and it adherence to the principle of compositionality that is, the meaning of the whole is a function of the meanings of its parts and their mode of syntactic combination.
