Logical semantics

Logical semantics is the study of meaning in formal and natural languages using logic as an instrument. Formal and logical languages are both seen as sets of sentences of which the truth conditions have to be specified relative to a model, an abstract representation of the world. This means that logical semantics can be described as truth-conditional semantics and model-theoretic semantics. Montague Grammar is the most detailed example of a semantic theory for natural language based on the principles of logical semantics.

Link
Utrecht Lexicon of Linguistics

Other languages
German logische Semantik