Сутність темпоральної логіки

Визначення формули темпоральної логіки стандартне.Визначення темпоральної логіки.Історія розвитку темпоральної логіки.Мова темпоральної пропозиційної логіки.Перше її числення було побудоване в 1955 році англійським логіком Артуром Прайором.Логіка: Підручник для студентів вищих навчальних закладів/ А.К. Конверський.Логіка у запитаннях, відповідях і аргументах: навчальний посібник/ В.І. Павлов.Логіка - юристам: Підручник/ І.В. Хоменко.Темпоральна логіка і теорія можливих світів.Темпоральний висловлювання логіка міркування.