Ишмуратов А.Т. Логические теории временных контекстов (Временная логика)

Киев: Наукова думка, 1981. — 150 с. В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная, аналитико-табличная. Рассматривается временные исчисления с неклассическим базисом, а также их модификации и расширения (хронологическая, хронометрическая логики и др.).
Для научных работников, преподавателей и студентов философских факультетов. Логическая теория языка
Логическое следование и формальная выводимость.
Переменные и константы
Логическая семантика
Высказывание о событии.
Контекст.
Событие.
Грамматическое время
Абстрактное описание событий
Множества
Временные отношения.
События.
Эталон времени.
Временная структура.
Временные диаграммы
Аксиоматические теории времени.
Логический анализ временных контекстов
Временная классическая логика
Классическая логика
Семантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика
Синтаксис
Непротиворечивость и полнота
Модификации K_t.
Расширения K_t-исчисления.
Метрическое временное исчисление
Хронологическая логика.
Датометрическая логика.
Хронологическое исчисление Н.Решера
Бинарные временные связки
Временные модальности
Временная неклассическая логика.
Трехзначная временная логика.
Семантика
Синтаксис
Непротиворечивость и полнота.
Квантификация.
Временная логика Б_t.
Семантика.
Синтаксис Непротиворечивость и полнота
Модификация Б_t.
Трехзначные временные операторы
Овременение и бочваризация.