Citation Hunt

Фрагмент із Вікіпедії нижче не підкріплений надійним джерелом. Чи можете Ви знайти таке?

Клацніть Є джерело!, аби перейти до Вікіпедії та виправити фрагмент, або Наступна!, щоб переглянути інший. Щасти!

На сторінці Модальна логіка:

"

Темпоральна логіка — це підхід до семантики виразів з часом, тобто виразів із кваліфікацією «коли». Деякі вирази, такі як «2 + 2 = 4», істинні завжди, тоді як вирази з напругою, такі як «Джон щасливий», істинні лише іноді[джерело?].