1. Awodey, S., Kishida, K., Kotzsch, H.: Topos semantics for higher-order temporal modal logic. Logique et Analyse 57(228), 591–636 (2014)
2. Lecture Notes in Computer Science;P Baldan,2007
3. Belardinelli, F.: Quantified Modal Logic and the Ontology of Physical Objects. Ph.D. thesis, Scuola Normale Superiore of Pisa (2006)
4. Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic, North-Holland, vol. 3 (2007)
5. Braüner, T., Ghilardi, S.: First-order modal logic. In: Blackburn et al. [4], pp. 549–620 (2007)