Modeling of the partial fixed point operator

We consider various semantics of partial fixed point (PFP) operator for infinite structures. We consider infinite structures those contains partial order with chains of arbitrary length. We establish that considerable semantics can be modeled by inflationary fixed point operator.