Article PDF
References
Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choice in our indeterminist world. Oxford University Press, Oxford
Blackburn, P., van Benthem, J., Wolter, F. (eds) (2007) Handbook of modal logic. Elsevier, Amsterdam
Emerson, E. A., & Clarke, E. M. (1980). Characterizing correctness properties of parallel programs using fixpoints. In: Automata, Languages and Programming, Lecture Notes in Computer Science (Vol. 85, pp. 169–181). Springer.
Emerson E. A., Clarke E. M. (1982) Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming 2(3): 241–266
Emerson E. A., Halpern J. (1986) sometimes and not never revisited: On branching versus linear time temporal logic. Journal of the ACM 33(1): 151–178
Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about Knowledge. The MIT Press, Boston
Gabbay, D., Hogger, C. J., Robinson, J. A. (eds) (1993) Handbook of logic in artificial intelligence and logic programming: Volume 4, epistemic and temporal reasoning. Oxford University Press, Oxford
Gabbay D., Kurucz A., Wolter F., Zakharyaschev M. (2003) Many-dimensional modal logics: Theory and applications. Elsevier, Amsterdam
Goranko V., Jamroga W. (2004) Comparing semantics of logics for multi-agent systems. Synthese: Knowledge, Rationality, and Action 139(2): 241–280
Grädel, E., Thomas, W., & Wilke, T. (Eds.) (2002). Automata, logics and infinite games: A guide to current research. Lecture Notes in Computer Science (Vol. 2500). Springer.
Halpern J. (1999) Set-theoretic completeness for epistemic and conditional logic. Annals of Mathematics and Artificial Intelligence 26: 1–27
Halpern J., Vardi M. (1989) The complexity of reasoning about knowledge and time. Journal of Computer and System Sciences 38: 195–237
Hodkinson, I., & Reynolds, M. (2006). Temporal logic. In: Handbook of modal logic (Blackburn, van Benthem and Wolter 2007), pp. 655–720. Amsterdam: Elsevier.
Kurucz, A. (2006). Combining modal logics. In: Handbook of Modal Logic (Blackburn, van Benthem and Wolter 2007), pp. 869–924. Amsterdam: Elsevier.
Lomuscio, A., & Ryan, M. (1997). On the relation between interpreted systems and Kripke models. In: Proceedings of the AI97 Workshop on Theoretical and Practical Foundation of Intelligent Agents and Agent-Oriented Systems (Vol. LNCS 1441, pp. 46–59).
Manna Z., Pnueli A. (1991) The temporal logic of reactive and concurrent systems: Specification. Springer, New York
Osborne M., Rubinstein A. (1994) A course in game theory. MIT Press, Cambridge
Pacuit E. (2007) Some comments on history based structures. Journal of Applied Logic 5(4): 613–624
Parikh, R., & Ramanujam, R. (1985). Distributed processes and the logic of knowledge. In: Logic of Programs, Lecture Notes in Computer Science (vol. 193, pp. 256–268). Springer.
Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language and Information 12: 453–467
Prior A. (1967) Past, present and future. Oxford University Press, Oxford
Rabin M. (1969) Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society 141: 1–35
Reiter R. (2001) Knowledge in action: Logical foundations for specifying and implementing dynamic systems. The MIT Press, Cambridge
Thomas W. (1990) Automata on infinite objects. In: van Leeuwen J. (eds) Handbook of theoretical science: Volume B, formal models and semantics. Elsevier, Amsterdam, pp 133–192
van Benthem, J. (1995). Temporal logic. In: Handbook of logic in artificial intelligence and logic programming: Volume 4, epistemic and temporal reasoning (Gabbay et al. 1993), pp. 241–350. Oxford University Press.
van Benthem, J. (2009). Logical dynamics of information and interaction, Book manuscript.
van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38(5): 491–526
van Benthem, J., & Pacuit, E.(2006). The tree of knowledge in action: Towards a common perspective. In: G. Governatori, I. Hodkinson & Y. Venema (Eds.), Proceedings of advances in modal logic (Vol. 6, pp. 87–106). London: King’s College Press.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
van Benthem, J., Pacuit, E. Temporal Logics of Agency. J of Log Lang and Inf 19, 389–393 (2010). https://doi.org/10.1007/s10849-009-9120-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-009-9120-y