In formal semantics, the scope of a semantic operator is the semantic object to which it applies. For instance, in the sentence "Paulina doesn't drink...

Formal semantics is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes...

representation theory Formal semantics of programming languages Hans Kamp Import-Export Irene Heim Modal logic Scope (formal semantics) Veltman, Frank (1996)...

process algebra, formal semantics of programming languages such as operational semantics, denotational semantics, axiomatic semantics and Hoare logic....

words. Formal semantics relies on logic and mathematics to provide precise frameworks of the relation between language and meaning. Cognitive semantics examines...

In formal semantics, a type shifter is an interpretation rule that changes an expression's semantic type. For instance, the English expression "John" might...

Scope (logic), the range influenced by the quantification in logic Scope (formal semantics), the natural language counterpart of logical scope Scope (project...

syntax–semantics interface is the interaction between syntax and semantics. Its study encompasses phenomena that pertain to both syntax and semantics, with...

In formal semantics, a generalized quantifier (GQ) is an expression that denotes a set of sets. This is the standard semantics assigned to quantified...

Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s...

Business semantics management (BSM) encompasses the technology, methodology, organization, and culture that brings business stakeholders together to collaboratively...

various different scope rules for different kinds of declarations and names. Such scope rules have a large effect on language semantics and, consequently...

Alternative semantics (or Hamblin semantics) is a framework in formal semantics and logic. In alternative semantics, expressions denote alternative sets...

language) Opaque context Presupposition Propositional attitudes Scope (formal semantics) Type shifter Vagueness Classical logic Properties of classical...

and semantics. The syntactic rules of a formal system determine how to deduce conclusions from premises, i.e. how to formulate proofs. The semantics of...

Counterfactuals are one of the most studied phenomena in philosophical logic, formal semantics, and philosophy of language. They were first discussed as a problem...

are described in terms of their syntax (form) and semantics (meaning), usually defined by a formal language. Languages usually provide features such as...

set of propositional alternatives. Alternative semantics Irene Heim Free variable Scope (formal semantics) Brasoveanu, Adrian; Farkas, Donka (2016). "Indefinites"...

interpretations of formal languages is called formal semantics. What follows is a description of the standard or Tarskian semantics for first-order logic...

and quantifier scope resolution. Methods employed usually draw from formal semantics or statistical semantics. Computational semantics has points of contact...

of its pronunciation, e.g. scope ambiguities. LF is the cornerstone of the classic generative view of the syntax-semantics interface. However, it is not...

Given a piece of text (typically a sentence), produce a formal representation of its semantics, either as a graph (e.g., in AMR parsing) or in accordance...

features such as a foreign function interface. The formal semantics of such extensions are beyond the scope of this article. Datalog is the simplest widely-studied...

Predicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs"...

In formal semantics, truth-value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc...

effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to...

In formal semantics, Strawson entailment is a variant of the concept of entailment which is insensitive to presupposition failures. Formally, a sentence...

linguistics and philosophy. It is one of the most studied phenomena in formal semantics. (a) grammatically: through modal verbs (e.g., English: may, might...

(linguistics) Move alpha PRO (linguistics) Raising (linguistics) Scope (formal semantics) Scrambling Shifting Topicalization Wh-fronting Right node raising...

justification one has for one's beliefs. Topological semantics is widely used in recent work in formal epistemology and has antecedents in earlier work such...