Prawdziwość formuł Oznaczenia: – formuła jest prawdziwa w strukturze na ścieżce – formuła jest prawdziwa w strukturze w stanie warunki prawdziwości podstawowych formuł:
PLTLFO Odmiana logiki LTL oparta na rachunku predykatów pierwszego rzędu.
Język wszystkie elementy PLTL kwantyfikatory – znak równości symbole predykatywne symbole funkcyjne symbole stałe zmienne
Formuły termy: zmienne, stałe, wyrażenia postaci: gdzie są stałymi bądź zmiennymi predykaty: wyrażenia postaci: gdzie są stałymi bądź zmiennymi atomy: stałe, predykaty, wyrażenia postaci: gdzie i są stałymi bądź zmiennymi formuły: takie, jak w PLTL, atomy, wyrażenia postaci: oraz gdzie jest formułą, a jest zmienną.
Linki zewnętrzne
Kategoria:Logika temporalna