1. Braüner, T., Ghilardi, S. (2007). First-order modal logic. In Handbook of modal logic, volume 3 of Stud. Log. Pract. Reason. (pp. 549–620). Amsterdam: Elsevier B. V.
2. Chang, C.-C., & Keisler, J. H. (1990). Model theory (3rd ed.). Amsterdam: North-Holland.
3. Gabbay, D. M., Shehtman, V. B., & Skvortsov D. P. (2009). Quantification in nonclassical logic (Vol. 1), volume 153 of Studies in logic and the foundations of mathematics. Amsterdam: Elsevier B. V.
4. Gerla, G. (1987). Transformational semantics for first order logic. Logique et Analyse (N.S.), 30(117-118), 69–79.
5. Gerla, G., & Vaccaro, V. (1984). Modal logic and model theory. Studia Logica, 43(3), 203–216.