Доктор филологических наук, профессор, иностранный член Американской академии наук и искусств. Основные книги: «О точных методах исследования языка», совместно с О. С. Ахмановой, И. А. Мельчуком, Р. М. Фрумкиной; «О семантике синтаксиса» (М., URSS); «Обратная теорема», совместно с Т. Д. Корельской; «Высказывание и его соотнесенность с действительностью» (М., URSS); «Семантические исследования»; «Динамические модели в семантике лексики».