Author:
Verity Florrie,Maruyama Yoshihiro
Publisher
Springer Nature Switzerland
Reference19 articles.
1. Arló-Costa, H., Pacuit, E.: First-order classical modal logic. Studia Logica Int. J. Symb. Logic 84(2), 171–210 (2006)
2. Awodey, S., Kishida, K., Kotzsch, H.C.: Topos semantics for higher-order modal logic. Logique et Anal. 57(228), 591–636 (2014)
3. Braüner, T., Ghilardi, S.: First-order modal logic. Stud. Logic Pract. Reason. 3, 549–620 (2007)
4. Cirstea, C., Kurz, A., Pattinson, D., Schröder, L., Venema, Y.: Stone coalgebras. Comput. J. 54, 31–41 (2011)
5. Cresswell, M.J.: Incompleteness and the Barcan formula. J. Philos. Log. 24(4), 379–403 (1995)