{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T23:10:04Z","timestamp":1748992204460,"version":"3.41.0"},"reference-count":38,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"DOI":"10.1093\/logcom\/exv077","type":"journal-article","created":{"date-parts":[[2016,6,26]],"date-time":"2016-06-26T00:27:52Z","timestamp":1466900872000},"page":"exv077","source":"Crossref","is-referenced-by-count":1,"title":["A logic of sights"],"prefix":"10.1093","author":[{"given":"C\u00e9dric","family":"D\u00e9gremont","sequence":"first","affiliation":[]},{"given":"Soumya","family":"Paul","sequence":"additional","affiliation":[]},{"given":"Nicholas","family":"Asher","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,6,25]]},"reference":[{"key":"2016062517274119000_exv077v1.1","first-page":"23","article-title":"Alternating-time temporal logic","volume-title":"COMPOS","volume":"1536","author":"Alur","year":"1997"},{"key":"2016062517274119000_exv077v1.2","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"2016062517274119000_exv077v1.3","doi-asserted-by":"crossref","unstructured":"Boolos G. S. Burgess J. P. Jeffrey R. C. Computability and Logic, 5th edn. Cambridge University Press, 2007.","DOI":"10.1017\/CBO9780511804076"},{"key":"2016062517274119000_exv077v1.4","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"2016062517274119000_exv077v1.5","doi-asserted-by":"crossref","unstructured":"Clarke E. M. Schlingloff B.-H. Robinson J. A. Voronkov A. Model checking. In Handbook of Automated Reasoning, pp. 1635\u20131790. Elsevier and MIT Press, 2001.","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"2016062517274119000_exv077v1.6","doi-asserted-by":"publisher","DOI":"10.1145\/976706.976710"},{"key":"2016062517274119000_exv077v1.7","doi-asserted-by":"crossref","unstructured":"Fagin R. Halpern J. Y. Moses Y. Vardi M. Y. Reasoning About Knowledge. MIT Press, Cambridge, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"2016062517274119000_exv077v1.8","first-page":"29","article-title":"Persistent and invariant formulas for outer extensions","volume":"20","author":"Feferman","year":"1968","journal-title":"Compositio Mathematica"},{"key":"2016062517274119000_exv077v1.9","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1966-11507-0"},{"key":"2016062517274119000_exv077v1.10","doi-asserted-by":"crossref","unstructured":"Fontaine G. Place T. Hlinen\u00fd P. Kucera A. Frame definability for classes of trees in the \u03bc-calculus. In Mathematical Foundations of Computer Science 2010, pp. 381\u2013392. Springer, 2010.","DOI":"10.1007\/978-3-642-15155-2_34"},{"key":"2016062517274119000_exv077v1.11","unstructured":"Gerbrandy J. Bisimulations on Planet Kripke. PhD Thesis, ILLC, Amsterdam, 1999."},{"key":"2016062517274119000_exv077v1.12","doi-asserted-by":"publisher","DOI":"10.2307\/2586808"},{"key":"2016062517274119000_exv077v1.13","unstructured":"Grossi D. Turrini P. Short sight in extensive games. In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), vol. 2, pp. 805\u2013812, 2012."},{"key":"2016062517274119000_exv077v1.14","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/BF00257382","article-title":"Should knowledge entail belief?","volume":"25","author":"Halpern","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"2016062517274119000_exv077v1.15","doi-asserted-by":"publisher","DOI":"10.1006\/game.2000.0832"},{"key":"2016062517274119000_exv077v1.16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jet.2005.02.007"},{"key":"2016062517274119000_exv077v1.17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015178417181"},{"key":"2016062517274119000_exv077v1.18","doi-asserted-by":"crossref","unstructured":"Immerman N. Descriptive Complexity. Graduate texts in computer science. Springer, 1999.","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"2016062517274119000_exv077v1.19","first-page":"263","article-title":"On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic","volume-title":"CONCUR","volume":"1119","author":"Janin","year":"1996"},{"key":"2016062517274119000_exv077v1.20","doi-asserted-by":"publisher","DOI":"10.1137\/0206033"},{"key":"2016062517274119000_exv077v1.21","first-page":"332","article-title":"A logic for extensive games with short sight","volume-title":"LORI","volume":"8196","author":"Liu","year":"2013"},{"key":"2016062517274119000_exv077v1.22","doi-asserted-by":"publisher","DOI":"10.1006\/game.1998.0666"},{"key":"2016062517274119000_exv077v1.23","unstructured":"Osborne M. J. Rubinstein A. A Course in Game Theory. MIT Press, 1994."},{"key":"2016062517274119000_exv077v1.24","unstructured":"Papadimitriou C. H. Computational Complexity. Addison Wesley, 1994."},{"key":"2016062517274119000_exv077v1.25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025007018583"},{"key":"2016062517274119000_exv077v1.26","unstructured":"Plaza J. A. Logics of public communications. In Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, M. L. Emrich, M. S. Pfeifer, M. Hadzikadic and Z. W. Ras, eds, pp. 201\u2013216. Oak Ridge National Laboratory, 1989."},{"key":"2016062517274119000_exv077v1.27","doi-asserted-by":"publisher","DOI":"10.1007\/s00182-011-0276-8"},{"key":"2016062517274119000_exv077v1.28","unstructured":"ten Cate B. Model Theory for Extended Modal Languages. PhD Thesis, ILLC Dissertation Series DS-2005-01. University of Amsterdam, 2005."},{"key":"2016062517274119000_exv077v1.29","unstructured":"van Benthem J. Exploring logical dynamics. Center for the Study of Language and Information, 1997."},{"key":"2016062517274119000_exv077v1.30","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9388-9"},{"key":"2016062517274119000_exv077v1.31","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/FI-2010-261","article-title":"Game solution, epistemic dynamics and fixed-point logics","volume":"100","author":"van Benthem","year":"2010","journal-title":"Fundam. Inform."},{"key":"2016062517274119000_exv077v1.32","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-008-9099-x"},{"key":"2016062517274119000_exv077v1.33","unstructured":"van Benthem J. van Otterloo S. Roy O. Lagerlund H. Lindstr\u00f6m S. \u015aliwi\u0144ski R. Preference logic, conditionals and solution concepts in games. In Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, pp. 61\u201376. University of Uppsala, 2005."},{"key":"2016062517274119000_exv077v1.34","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H. P. French T. Simulation and information: Quantifying over epistemic events. In KRAMAS, pp. 51\u201365, 2008.","DOI":"10.1007\/978-3-642-05301-6_4"},{"key":"2016062517274119000_exv077v1.35","unstructured":"van Ditmarsch H. P. French T. Pinchinat S. Beklemishev L. D. Goranko V. Shehtman V. B. Future event logic - axioms and complexity. In Advances in Modal Logic 8 Publisher: College Publications, pp. 77\u201399, 2010."},{"key":"2016062517274119000_exv077v1.36","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"2016062517274119000_exv077v1.37","doi-asserted-by":"crossref","unstructured":"van der Hoek W. Pauly M. Blackburn P. van Benthem J. Wolter F. Modal logic for games and information. In The Handbook of Modal Logic, pp. 1077\u20131148. Elsevier, 2006.","DOI":"10.1016\/S1570-2464(07)80023-1"},{"key":"2016062517274119000_exv077v1.38","doi-asserted-by":"crossref","unstructured":"Witzel A. Apt K. R. Perfect recall of imperfect knowledge. In TARK, pp. 75\u201381. ACM, 2011.","DOI":"10.1145\/2000378.2000387"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/4\/1225\/17659795\/exv077.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T22:46:38Z","timestamp":1748990798000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,25]]},"references-count":38,"alternative-id":["10.1093\/logcom\/exv077"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv077","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published":{"date-parts":[[2016,6,25]]}}}