Straipnyje nagrinėjami du temporalinės žinių logikos sekvenciniai skaičiavimai, vienas su invariantine taisykle, o kitas su ciklinėmis aksiomomis. Įrodoma, kad šie skaičiavimai yra ekvivalentūs, korektiški ir pilni.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.
Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.