1. S. Artemov and L. Beklemishev. Provability logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 13, pages 229–403. Springer, Amsterdam, 2005.
2. N. Alechina. Modal Quantifiers. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, 1995.
3. R. J. Aumann. Agreeing to disagree. The Annals of Statistics, 14(6):1236–1239, 1976.
4. [B0′5] J.-Y. Béziau. Paraconsistent logics from a modal point of view. Journal of Applied Logic, 3:7–14, 2005.
5. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, Cambridge, 2001.