Irreflexive Modality on a Chain of Type ω and P. S. Novikov Completeness

We consider a phi-logic L(omega) of a frame of order type omega endowed with an irreflexive operator. The irreflexive modality in LC was treated by the author in [Sib. Math. J., 55, No. 1, 185-190 (2014)] where it was shown that this modality on the class of finite chains, on the one hand, and on a single chain of order type omega, on the other hand, generates inconsistent phi-logics over LC. There, also, it was stated that L(omega) defines a new nonconstant connective in LC. Here we establish that the phi-logic L(omega) is Novikov complete over LC.