References
Büchi, J.R., 1962, “On a decision method in restricted second order arithmetic,” pp. 1–11 in Proceedings 1960 International Conference on Logic, Methodology, and Philosophy of Science, E. Nagel, P. Suppes, and A. Tarski, eds., Stanford, CA: Standford University Press.
Gabbay, D.M., 1998, Fibring Logics, Oxford: Oxford University Press.
Gurevich, Y. and Harrington, L.A., 1982, “Trees, automata, and games,” pp. 60–65 in Proceedings 14th Annual ACM Symposium on Theory of Computing, New York: ACM Press.
Manna, Z. and Pnueli, A., 1992, The Temporal Logic of Reactive and Concurrent Systems: Specification, Berlin: Springer-Verlag.
Marx, M. and Venema, Y., 1997, Multi-Dimensional Modal Logic, Applied Logic Series, Vol. 4, Dordrecht: Kluwer Academic Publishers.
McNaughton, R., 1966, 'Testing and generating infinite sequences by finite automata,” Information and Control 9, 521–530.
Rabin, M.O., 1969, “Decidability of second order theories and automata on infinite trees,” American Mathematical Society Transactions 141, 1–35.
van Lambalgen, M., 1996, “Natural deduction for generalised quantifiers,” pp. 225–236 in Quantifiers, Logic and Language, J. van der Does and J. van Eijck, eds., Cambridge: Cambridge University Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hustadt, U. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. Journal of Logic, Language and Information 10, 406–410 (2001). https://doi.org/10.1023/A:1011212908144
Issue Date:
DOI: https://doi.org/10.1023/A:1011212908144