Темпоральна логіка

Темпоральна логіка. Розділ модальної логіки, в якому досліджується специфіка часових висловлювань та їх зв'язки у структурі міркувань.

Джерело: Тофтул М. Г. Логіка: Підручник. Видання 2-ге, виправлене, доповнене. — К.: Видавничий центр «Академія», 2006. — 400 с. (Альма-матер). ISBN 966-580-214-3.

Лінк на цю сторінку:

<a href="">Темпоральна логіка</a>