Temporaalilogiikka

Wikipediasta
Tämä on arkistoitu versio sivusta sellaisena, kuin se oli 2. tammikuuta 2016 kello 23.26 käyttäjän Fisuaq (keskustelu | muokkaukset) muokkauksen jälkeen. Sivu saattaa erota merkittävästi tuoreimmasta versiosta.
(ero) ← Vanhempi versio | Nykyinen versio (ero) | Uudempi versio → (ero)
Siirry navigaatioon Siirry hakuun
Katsottu versio tästä sivusta, joka hyväksyttiin 2. tammikuuta 2016, perustui tähän versioon.

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”