Предикатные логики

1. Многосортная логика первого порядка.

ИП – логика первого порядка

xn >= 1 (nx = 0) – невыразима в ИП

Многосортная логика сводится к односортной.

2. D – логика.

D – бесконечн. => не вып. теорема компактности.

3. Бесконечные логики.

Допускаются бесконечные ф-лы. Т. компактности неверна.

4. Логика с новыми кванторами.

5. Темпоральная (временная) логика.

Рассматривается принципиальная возможность или невозможность события, а также причинно-следственные связи между событиями.

Требования корректности.

Требования жизнеспособности.

Атомарные ф-лы – ф-лы ИП, включающие операции над z (временные операции).

Темпоральные операторы:

О(“Next”) – следующее событие

U(“Until”) – длительность истинности некоторого св-ва, относительно другого св-ва.

Кванторы: «Всегда», «Когда-нибудь всюду», «Когда-нибудь где-то»

1