következtetési keretprobléma

Kapcsolódó fogalmak: 
keretprobléma
Rövid szöveges bemutatás: 
A következtetési keretprobléma a keretproblémának egy specializált esete. Ezt akkor kell alkalmaznunk, amikor egy cselekvés sorozat hatását, illetve ebben az esetben a cselekvés sorozat végrehajtása ellenére történt változatlanságot akarjuk kifejezni. Tehát ebben az esetben annyi a különbség az alapvető keretproblémához képest, hogy nem egy cselekvés végrehajtása után akarjuk felírni a változatlansági axiómákat, hanem egy adott hosszúságú cselekvéssorozat után.