{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T01:49:32Z","timestamp":1762998572023,"version":"3.32.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T00:00:00Z","timestamp":1158364800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JoLLI"],"published-print":{"date-parts":[[2006,11]]},"DOI":"10.1007\/s10849-006-9014-1","type":"journal-article","created":{"date-parts":[[2006,9,15]],"date-time":"2006-09-15T11:46:32Z","timestamp":1158320792000},"page":"425-452","source":"Crossref","is-referenced-by-count":4,"title":["Knowledge Condition Games"],"prefix":"10.1007","volume":"15","author":[{"given":"Sieuwert","family":"van Otterloo","sequence":"first","affiliation":[]},{"given":"Wiebe","family":"Van Der Hoek","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"9014_CR1","unstructured":"Agotness, T., 2004, \u201cA note on syntactic characterization of incomplete information in ATEL\u201d. in: S. van Otterloo, P. McBurney, W. van der Hoek and M. Wooldridge (eds.): Proceedings of the First Knowledge and Games Workshop. University of Liverpool, pp. 34\u201342."},{"issue":"5","key":"9014_CR2","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T. A., and Kupferman, O., 2002, \u201cAlternating-time temporal logic\u201d, Journal of the ACM 49(5), 672\u2013713.","journal-title":"Journal of the ACM"},{"key":"9014_CR3","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/S0899-8256(05)80015-6","volume":"8","author":"R. Aumann","year":"1995","unstructured":"Aumann, R., 1995, \u201cBackward induction and common knowledge of rationality\u201d, Games and Economic Behaviour 8, 6\u201319.","journal-title":"Games and Economic Behaviour"},{"key":"9014_CR4","unstructured":"Baltag, A., Moss, L., and Solecki, S., 2002, \u201cThe logic of public announcements, common knowledge and private suspicions\u201d, Originally presented at TARK 98, accepted for publication in Annals of Pure and Applied Logic."},{"key":"9014_CR5","unstructured":"Bonanno, G., 2004, \u201cMemory implies von Neumann-Morgenstern games\u201d, Knowledge Rationality and Action, to appear."},{"key":"9014_CR6","volume-title":"Introduction to Algorithms","author":"T. Cormen","year":"1990","unstructured":"Cormen, T., Leiserson, C., and Rivest, R., 1990, Introduction to Algorithms. The MIT Press: Cambridge, MA."},{"key":"9014_CR7","unstructured":"de Bruin, B.: 2004, \u201cExplaining games- on the logic of game theoretic explanations\u201d. Ph.D. Thesis, University of Amsterdam, Amsterdam. ILLC series DS-2004-03."},{"key":"9014_CR8","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. and Vardi, M.: 1995, Reasoning About Knowledge. The MIT Press: Cambridge, MA."},{"key":"9014_CR9","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Y. Halpern","year":"1989","unstructured":"Halpern, J. Y. and Vardi, M. Y., 1989, \u201cThe complexity of reasoning about knowledge and time. I. Lower bounds\u201d. Journal of Computer and System Sciences 38, 195\u2013237.","journal-title":"Journal of Computer and System Sciences"},{"issue":"2\u20134","key":"9014_CR10","first-page":"281","volume":"57","author":"B. Harrenstein","year":"2003","unstructured":"Harrenstein, B., van der Hoek, W., Meyer, J.-J. C., and Witteveen, C., 2003, \u201cA modal characterization of Nash Equilibrium\u201d, Fundamenta Informaticae 57(2\u20134), 281\u2013321.","journal-title":"Fundamenta Informaticae"},{"key":"9014_CR11","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J., 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press: Ithaca, NY."},{"key":"9014_CR12","volume-title":"Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G., 1991, Design and Validation of Computer Protocols. Prentice Hall International: Hemel Hempstead, England."},{"key":"9014_CR13","unstructured":"Jamroga, W. and van der Hoek, W., 2003, \u201cSome remarks on alternating-time temporal epistemic logic\u201d, submitted."},{"key":"9014_CR14","unstructured":"Jonker, G., 2003, \u201cFeasible strategies in alternating-time temporal epistemic logic\u201d, Universiteit Utrecht Master Thesis."},{"key":"9014_CR15","unstructured":"Koller, D. and Pfeffer, A., 1995, \u201cGenerating and solving imperfect information games\u201d, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), Montreal, pp. 1185\u20131192."},{"key":"9014_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.-J. C. Meyer","year":"1995","unstructured":"Meyer, J.-J. C. and van der Hoek, W., 1995, Epistemic Logic for AI and Computer Science, Cambridge University Press: Cambridge, England."},{"key":"9014_CR17","volume-title":"A Course in Game Theory","author":"M. J. Osborne","year":"1994","unstructured":"Osborne, M. J. and Rubinstein, A., 1994, A Course in Game Theory, The MIT Press: Cambridge, MA."},{"key":"9014_CR18","unstructured":"Papadimitriou, C., 1994, Computational Complexity, Addison Wesley Longman."},{"key":"9014_CR19","unstructured":"Pauly, M., 2001, \u201cLogic for Social Software\u201d. Ph.D. Thesis, University of Amsterdam, ILLC Dissertation Series 2001-10."},{"key":"9014_CR20","doi-asserted-by":"crossref","unstructured":"Roberts, M., van der Hoek, W., and Wooldridge, M., 2005, \u201cKnowledge and social laws\u201d. in Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Utrecht.","DOI":"10.1145\/1082473.1082576"},{"key":"9014_CR21","volume-title":"The Strategy of Conflict","author":"T. C. Schelling","year":"1960","unstructured":"Schelling, T. C., 1960, The Strategy of Conflict, Cambridge, Mass.: Harvard U.P."},{"key":"9014_CR22","unstructured":"Schneier, B., 1996, Applied Cryptography, John Wiley & Sons."},{"key":"9014_CR23","doi-asserted-by":"crossref","unstructured":"Schobbens, P.-Y., 2004, \u201cAlternating-time logic with imperfect recall\u201d, in W. van der Hoek, A. Lomuscio, E. de Vink, and M. Wooldrige (eds.): Electronic Notes in Theoretical Computer Science, Vol. 85, Elsevier.","DOI":"10.1016\/S1571-0661(05)82604-0"},{"key":"9014_CR24","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF01766400","volume":"4","author":"R. Selten","year":"1975","unstructured":"Selten, R., 1975, \u201cReexamination of the perfectness concept for equilibrium points in extensive games\u201d, International Journal of Game Theory 4, 25\u201355.","journal-title":"International Journal of Game Theory"},{"key":"9014_CR25","doi-asserted-by":"crossref","unstructured":"van Benthem, J., 2001, \u201cGames in dynamic-epistemic logic\u201d, Bulletin of Economic Research 53(4), 219\u2013248.","DOI":"10.1111\/1467-8586.00133"},{"key":"9014_CR26","doi-asserted-by":"crossref","unstructured":"van der Hoek, W. and Wooldridge, M., 2002, \u201cTractable multiagent planning for epistemic goals\u201d, in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002). Bologna, Italy, pp. 1167\u20131174.","DOI":"10.1145\/545056.545095"},{"issue":"4","key":"9014_CR27","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. van der Hoek","year":"2003","unstructured":"van der Hoek, W. and Wooldridge, M., 2003, \u201cCooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications\u201d, Studia Logica 75(4), 125\u2013157.","journal-title":"Studia Logica"},{"key":"9014_CR28","unstructured":"van der Meyden, R., and Su, K., 2004, \u201cSymbolic model checking the knowledge of the dining cryptographers\u201d, under review."},{"key":"9014_CR29","unstructured":"van Ditmarsch, H. P., 2000, \u201cKnowledge games\u201d, Ph.D. Thesis, University of Groningen, Groningen."},{"issue":"4","key":"9014_CR30","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1026168632319","volume":"75","author":"H. P. van Ditmarsch","year":"2003","unstructured":"van Ditmarsch, H. P.: 2003, \u201cThe Russian cards problem\u201d, Studia Logica 75(4), 31\u201362.","journal-title":"Studia Logica"},{"key":"9014_CR31","doi-asserted-by":"crossref","unstructured":"van Otterloo, S., and Jonker, G., 2004, \u201cOn epistemic temporal strategic logic\u201d, in Proceedings of the Second Workshop on Logic and Communication in Multi Agent Systems (LCMAS).","DOI":"10.1016\/j.entcs.2004.11.014"},{"key":"9014_CR32","unstructured":"van Otterloo, S., van der Hoek, W., and Wooldridge, M., 2003, \u201cModel checking a knowledge exchange scenario\u201d, in Proceedings of Model Checking and Artificial Intelligence(MoChArt) Acapulco, pp. 37\u201344."},{"key":"9014_CR33","unstructured":"van Otterloo, S., van der Hoek, W., and Wooldridge, M., 2004, \u201cPreferences in game logics\u201d, in AAMAS 2004, New York."},{"key":"9014_CR34","volume-title":"Theory of Games and Economic Behaviour","author":"J. von Neumann","year":"1944","unstructured":"von Neumann, J. and Morgenstern, O., 1944, Theory of Games and Economic Behaviour, Princeton University Press: Princeton, NJ."},{"key":"9014_CR35","volume-title":"Theory of Games and Economic Behaviour","author":"J. von Neumann","year":"1953","unstructured":"von Neumann, J. and Morgenstern, O., 1953, Theory of Games and Economic Behaviour, Princeton University Press: Princeton, NJ, 3rd edition.","edition":"3"},{"volume-title":"Foundations of Rational Agency","year":"1999","key":"9014_CR36","unstructured":"Wooldridge, M. and Rao, A., (eds.), 1999, Foundations of Rational Agency, Kluwer Academic Publishers: Dordrecht, The Netherlands."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9014-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-006-9014-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9014-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T21:33:50Z","timestamp":1736544830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-006-9014-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,11]]}},"alternative-id":["9014"],"URL":"https:\/\/doi.org\/10.1007\/s10849-006-9014-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2006,9,16]]}}}