Формальная грамматика и интенсиональная логика

Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русского языка. Дан анализ проблемы семантического статуса музыкального события. Книга предназначается для логиков, лингвистов, математиков, программистов.