План лекції

1. Визначення темпоральної пропозиційної логіки.

2. Мова темпоральної пропозиційної логіки.

3. Головні закони темпоральної пропозиційної логіки.

4. Семантика можливих світів для темпоральної пропозиційної логіки.

5. Аналітико-таблична семантика для формул темпоральної про­позиційної логіки.

6. Синтаксис темпоральної пропозиційної логіки. Мінімальне пропозиційне числення для темпоральної пропозиційної логіки.

Рекомендована література

Гольдблатт Р. Логика времени и вычислимости / Р. Гольдблатт. - M.: ОИЛКРЛ, 1992.

Жоль К.К. Логика. Введение в современную символическую логику / К. К. Жоль. - К.: Стилос, 2000.

Ивлев Ю.В. Логика / Ю. В. Ивлев. - M.: Проспект, 2009.

Ішмуратов А.Т. Вступ до філософської логіки / А. Т. Ішмуратов. - К.: Абрис, 1997.

Карамишева Н.В. Логіка. Пізнання. Евристика / Н. В. Карамишева. - Львів: Астролябія, 2002.

Конвсрський А.Є. Логіка (традиційна та сучасна) / А. Є. Конвер- ський. - K.: ЦНЛ, 2004.

Ненашев М.И. Введение в логику / М. И. Ненашев. - M.: Гардарики, 2004.

Непейвода Н.Н. Прикладная логика / H. Н. Непейвода. - Новоси­бирск: Изд-во УдГУ, 2004.

Символическая логика: Учебник / Под ред. Я.А.Слинина, Э.Ф.Кара- ваева, А.И.Мигунова. - СПб.: Изд-во С.-Петерб. ун-та, 2005.

Солодухин О.А. Логика / О. А. Солодухин. - Ростов-н/Д: Феникс, 2000.

Хоменко І.В. Логіка /1. В. Хоменко. - К.: Абрис, 2004.

Виклад лекції

1.