| Model-theoretic semantics provides the foundations for an approach to the theory of meaning known as Truth-conditional semantics, which was pioneered by Donald Davidson. | На модельно-теоретической семантике основан подход в теории смысла под названием семантика условной Истины, который впервые был предложен Дональдом Девидсоном. |
| His work has profoundly influenced analytic philosophy; his principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics. | Последующие работы оказали глубокое влияние на аналитическую философию, наиболее значительным вкладом считается метафизическое описание модальности, включающее идею возможных миров как она объясняется в системе, известной как семантика Крипке. |