Temporaalilogiikka

Temporaalilogiikka eli temporaalinen logiikka on modaalilogiikan alue, joka käsittelee aikaan liittyvää päättelyä ja käsitteitä. Temporaalilogiikan esitteli Arthur Prior 1960-luvulla. Sen jälkeen sitä ovat kehittäneet sekä tietojenkäsittelytieteilijät, erityisesti Amir Pnueli, että loogikot.

Temporaalilogiikoihin kuuluvat CTL* (johon osina laskentapuulogiikka (CTL) ja lineaarinen temporaalilogiikka (LTL)), intervallitemporaalilogiikka (ITL) ja μ-kalkyyli.

 Katso myös 

 Deonttinen logiikka
 Episteeminen logiikka
 Doksastinen logiikka

 Aiheesta muualla 

 Stanford Encyclopedia of Philosophy: Temporal Logic 

Luokka:Aika
Luokka:Modaalilogiikka