1. Andréka, H., J. Madarász, I. Németi, and G. Székely. 2011. Logical analysis of relativity theories. Hungarian Philosophical Review 2011: 204–222.
2. Belnap, N. 1992. Branching space-time. Synthese 92: 385–434.
3. Blute, R.F., I.T. Ivanov, and P. Panangaden. 2003. Discrete quantum causal dynamics. International Journal of Theoretical Physics 42(9): 2025–2041.
4. Dalla Chiara, M.L., and R. Giuntini. 2002. Quantum logics. In Handbook of philosophical logic, 129–228. Dordrecht: Springer.
5. Encyclopædia Britannica Online. 2013. Formal system. Retrieved from
http://www.britannica.com/EBchecked/topic/213751/formal-system