Temporal logic of linear time frames with inductions axiom

摘要

A class of frames based on a class of frames with discrete linear time with current time point clusters is considered. The temporal calculus LInd is found which is complete with respect to this class. It is proved that LInd has the finite model property a