Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. - M. I. Golovanov; Anna V. Kosheleva; Vladimir V. Rybakov (Log. J. IGPL, 2005)

Unification for Multi-Agent Temporal Logics with Universal Modality. - Stepan I. Bashmakov; Anna V. Kosheleva; Vladimir V. Rybakov (FLAP, 2017)