(1)
Czelakowski, J. Logics and Operators. LLP 2003, 87-100.