Temporální logika

Temporální logika je odvětví logiky, které zkoumá logickou strukturu výroků o čase, s nimiž se klasická výroková nebo predikátová logika nedokáže plnohodnotně vypořádat. Například výrok:

„Od teď bude stále pršet.“

je z hlediska klasické výrokové logiky atomický. To znamená, že výroková logika jej chápe jako dále nedělitelný celek a nezajímá se o jeho vnitřní strukturu. Temporální logika jde hlouběji a v tomto výrok rozlišuje dvě komponenty: takzvaný temporální operátor „od teď bude vždy platit, že“ a samotný výrok pod tímto operátorem „prší“.

V užším významu pojem temporální logika označuje konkrétní logický kalkul studovaný v rámci temporální logiky ve výše uvedeném smyslu. Tak například kalkuly LTL a ITL jsou temporální logiky.

Odkazy

Poznámky

V tomto článku byl použit překlad textu z článku Temporálna logika na slovenské Wikipedii.

Externí odkazy

• Katedra teoretické informatiky a matematické logiky, Univerzita Karlova – Přednáška z temporální logiky (PDF)