1. Arntzenius, F. 2012. Space, Time, and Stuff. Oxford: Oxford University Press.
2. Awodey, S., L. Birkedal, and D. Scott. 2000. Local Realizability Toposes and a Modal Logic for Computability. Technical Report No. CMU-PHIL-99.
3. Bagaria, J., N. Castells, and P. Larson. 2006. An Ω-logic Primer. Trends in Mathematics: Set Theory. Basel: Birkhäuser Verlag.
4. Baltag, A. 2003. A coalgebraic semantics for epistemic programs. Electronic Notes in Theoretical Computer Science 82: 1.
5. Boolos, G. 1987. The Consistency of Frege’s Foundations of Arithmetic. In On Being and Saying, ed. J.J. Thomson. MIT Press.