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.