1. Gallin, D.: Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company (1975).
https://doi.org/10.2307/2271880
2. Hurkens, A.J.C., McArthur, M., Moschovakis, Y.N., Moss, L.S., Whitney, G.T.: The logic of recursive equations. J. Symb. Log. 63(2), 451–478 (1998).
https://doi.org/10.2307/2586843
3. Kandel, E., Jessell, T., Siegelbaum, S., Schwartz, J., Hudspeth, A.J. (eds.): Principles of neural science. McGraw-Hill, Health Professions Division (2000)
4. van Lambalgen, M., Hamm, F.: The Proper Treatment of Events. Explorations in Semantics. Wiley-Blackwell, Oxford (2005)
5. Loukanova, R.: Modeling context information for computational semantics with the language of acyclic recursion. In: Pérez, J.B., Corchado, J.M., Moreno, M., Julián, V., Mathieu, P., Canada-Bago, J., Ortega, A., Fernández-Caballero, A. (eds.) Highlights in Practical Applications of Agents and Multiagent Systems. Advances in Intelligent and Soft Computing, vol. 89, pp. 265–274. Springer, Berlin (2011).
https://doi.org/10.1007/978-3-642-19917-2_32