Temporaalilogiikka

Wikipediasta
(Ohjattu sivulta Temporaalinen logiikka)
Siirry navigaatioon Siirry hakuun

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[muokkaa | muokkaa wikitekstiä]

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]

Tämä filosofiaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.
Noudettu kohteesta ”https://fi.wikipedia.org/w/index.php?title=Temporaalilogiikka&oldid=15431534”