1. Arsov, A. (1993). Completeness Theorems for Some Extensions of Arrow Logic (Master’s Dissertation, Sofia University).
2. Arsov, A. & Marx, M. (1993). Basic arrow logic with relation algebraic operators. In P. de Dekker & M. Stokhof (Eds.), Proceedings of the 9th Amsterdam Colloquium (pp. 93–112). Amsterdam University, Institute for Logic, Language and Computation.
3. Balbiani, P. (2003). Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Fundamenta Informaticae, 56(3), 211–242.
4. Balbiani, P. & Orłowska, E. (1999). A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-classical Logics, 9(2–3), 303–328.
5. Balbiani, P. & Vakarelov, D. (2001). Iteration-free PDL with intersection: A complete axiomatization. Fundamenta Informaticae45(3), 173–194.