{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,16]],"date-time":"2025-02-16T16:10:02Z","timestamp":1739722202815,"version":"3.37.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1007\/s10849-009-9120-y","type":"journal-article","created":{"date-parts":[[2010,1,8]],"date-time":"2010-01-08T04:17:39Z","timestamp":1262924259000},"page":"389-393","source":"Crossref","is-referenced-by-count":3,"title":["Temporal Logics of Agency"],"prefix":"10.1007","volume":"19","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,1,9]]},"reference":[{"key":"9120_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: Agents and choice in our indeterminist world","author":"N. Belnap","year":"2001","unstructured":"Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choice in our indeterminist world. Oxford University Press, Oxford"},{"volume-title":"Handbook of modal logic","year":"2007","key":"9120_CR2","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (eds) (2007) Handbook of modal logic. Elsevier, Amsterdam"},{"key":"9120_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013181). Springer.","DOI":"10.1007\/3-540-10003-2_69"},{"issue":"3","key":"9120_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E. A. Emerson","year":"1982","unstructured":"Emerson E. A., Clarke E. M. (1982) Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming 2(3): 241\u2013266","journal-title":"Science of Computer Programming"},{"issue":"1","key":"9120_CR5","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. A. Emerson","year":"1986","unstructured":"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\u2013178","journal-title":"Journal of the ACM"},{"key":"9120_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about Knowledge. The MIT Press, Boston"},{"volume-title":"Handbook of logic in artificial intelligence and logic programming: Volume 4, epistemic and temporal reasoning","year":"1993","key":"9120_CR7","unstructured":"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"},{"key":"9120_CR8","volume-title":"Many-dimensional modal logics: Theory and applications","author":"D. Gabbay","year":"2003","unstructured":"Gabbay D., Kurucz A., Wolter F., Zakharyaschev M. (2003) Many-dimensional modal logics: Theory and applications. Elsevier, Amsterdam"},{"issue":"2","key":"9120_CR9","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V. Goranko","year":"2004","unstructured":"Goranko V., Jamroga W. (2004) Comparing semantics of logics for multi-agent systems. Synthese: Knowledge, Rationality, and Action 139(2): 241\u2013280","journal-title":"Synthese: Knowledge, Rationality, and Action"},{"key":"9120_CR10","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, 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.","DOI":"10.1007\/3-540-36387-4"},{"key":"9120_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1018942425200","volume":"26","author":"J. Halpern","year":"1999","unstructured":"Halpern J. (1999) Set-theoretic completeness for epistemic and conditional logic. Annals of Mathematics and Artificial Intelligence 26: 1\u201327","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9120_CR12","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Halpern","year":"1989","unstructured":"Halpern J., Vardi M. (1989) The complexity of reasoning about knowledge and time. Journal of Computer and System Sciences 38: 195\u2013237","journal-title":"Journal of Computer and System Sciences"},{"key":"9120_CR13","unstructured":"Hodkinson, I., & Reynolds, M. (2006). Temporal logic. In: Handbook of modal logic (Blackburn, van Benthem and Wolter 2007), pp. 655\u2013720. Amsterdam: Elsevier."},{"key":"9120_CR14","unstructured":"Kurucz, A. (2006). Combining modal logics. In: Handbook of Modal Logic (Blackburn, van Benthem and Wolter 2007), pp. 869\u2013924. Amsterdam: Elsevier."},{"key":"9120_CR15","unstructured":"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\u201359)."},{"key":"9120_CR16","volume-title":"The temporal logic of reactive and concurrent systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna Z., Pnueli A. (1991) The temporal logic of reactive and concurrent systems: Specification. Springer, New York"},{"key":"9120_CR17","volume-title":"A course in game theory","author":"M. Osborne","year":"1994","unstructured":"Osborne M., Rubinstein A. (1994) A course in game theory. MIT Press, Cambridge"},{"issue":"4","key":"9120_CR18","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1016\/j.jal.2006.03.012","volume":"5","author":"E. Pacuit","year":"2007","unstructured":"Pacuit E. (2007) Some comments on history based structures. Journal of Applied Logic 5(4): 613\u2013624","journal-title":"Journal of Applied Logic"},{"key":"9120_CR19","doi-asserted-by":"crossref","unstructured":"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\u2013268). Springer.","DOI":"10.1007\/3-540-15648-8_21"},{"key":"9120_CR20","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language and Information 12: 453\u2013467","journal-title":"Journal of Logic, Language and Information"},{"key":"9120_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"A. Prior","year":"1967","unstructured":"Prior A. (1967) Past, present and future. Oxford University Press, Oxford"},{"key":"9120_CR22","first-page":"1","volume":"141","author":"M. Rabin","year":"1969","unstructured":"Rabin M. (1969) Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society 141: 1\u201335","journal-title":"Transactions of the American Mathematical Society"},{"key":"9120_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: Logical foundations for specifying and implementing dynamic systems","author":"R. Reiter","year":"2001","unstructured":"Reiter R. (2001) Knowledge in action: Logical foundations for specifying and implementing dynamic systems. The MIT Press, Cambridge"},{"key":"9120_CR24","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/B978-0-444-88074-1.50009-3","volume-title":"Handbook of theoretical science: Volume B, formal models and semantics","author":"W. Thomas","year":"1990","unstructured":"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\u2013192"},{"key":"9120_CR25","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (1995). Temporal logic. In: Handbook of logic in artificial intelligence and logic programming: Volume 4, epistemic and temporal reasoning (Gabbay et\u00a0al. 1993), pp. 241\u2013350. Oxford University Press.","DOI":"10.1093\/oso\/9780198537915.003.0005"},{"key":"9120_CR26","unstructured":"van Benthem, J. (2009). Logical dynamics of information and interaction, Book manuscript."},{"issue":"5","key":"9120_CR27","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J. Benthem van","year":"2009","unstructured":"van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38(5): 491\u2013526","journal-title":"Journal of Philosophical Logic"},{"key":"9120_CR28","unstructured":"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\u2013106). London: King\u2019s College Press."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9120-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,16]],"date-time":"2025-02-16T15:49:46Z","timestamp":1739720986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-009-9120-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,9]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["9120"],"URL":"https:\/\/doi.org\/10.1007\/s10849-009-9120-y","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2010,1,9]]}}}