Logics with two types of integral operators. Đorđević, Radosav S. — 1993 Publications de l'Institut Mathématique. Nouvelle Série
Barwise Completeness Theorems For Logics With Integrals Radosav S. Đorđević — 1991 Publications de l'Institut Mathématique