{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T15:23:15Z","timestamp":1751383395909,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662458235"},{"type":"electronic","value":"9783662458242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-45824-2_16","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T11:07:51Z","timestamp":1417432071000},"page":"218-231","source":"Crossref","is-referenced-by-count":3,"title":["Representing Imperfect Information of Procedures with Hyper Models"],"prefix":"10.1007","author":[{"given":"Yanjing","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","first-page":"193","volume-title":"Proceedings of TASE 2009","author":"T. Chen","year":"2008","unstructured":"Chen, T., van de Pol, J., Wang, Y.: PDL over accelerated labeled transition systems. In: Proceedings of TASE 2009, pp. 193\u2013200. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic (Synthese Library), 1st edn. Springer (2007)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/11784180_26","volume-title":"Algebraic Methodology and Software Technology","author":"M. Espada","year":"2006","unstructured":"Espada, M., van de Pol, J.: Accelerated modal abstractions of labelled transition systems. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 338\u2013352. Springer, Heidelberg (2006)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Grumberg, O.: 2-valued and 3-valued abstraction-refinement in model checking. In: Logics and Languages for Reliability and Security, pp. 105\u2013128 (2010)","DOI":"10.3233\/978-1-60750-100-8-105"},{"issue":"8","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1016\/j.ic.2006.10.009","volume":"205","author":"O. Grumberg","year":"2007","unstructured":"Grumberg, O., Lange, M., Leucker, M., Shoham, S.: When not losing is better than winning: Abstraction and refinement for the full mu-calculus. Information and Computation\u00a0205(8), 1130\u20131148 (2007)","journal-title":"Information and Computation"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"16_CR8","first-page":"61","volume":"112","author":"M. Huth","year":"2005","unstructured":"Huth, M.: Abstraction and probabilities for hybrid logics. ENTCS\u00a0112, 61\u201376 (2005)","journal-title":"ENTCS"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Kuhn, H.W.: Extensive games and the problem of information. In: Kuhn, H.W., Tucker, A.W. (eds.) Contributions to the Theory of Games, pp. 196\u2013216. Princeton University Press (1953)","DOI":"10.1515\/9781400881970-012"},{"key":"16_CR10","unstructured":"Moore, R.C.: A formal theory of knowledge and action. Tech. rep., DTIC Document (1984)"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Proceedings of Conference on Logic of Programs","author":"R. Parikh","year":"1985","unstructured":"Parikh, R., Ramanujam, R.: Distributed processes and the logic of knowledge. In: Proceedings of Conference on Logic of Programs, pp. 256\u2013268. Springer, London (1985)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Semantical considerations on floyd-hoare logic. Tech. rep., Cambridge, MA, USA (1976)","DOI":"10.1109\/SFCS.1976.27"},{"issue":"11","key":"16_CR13","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1016\/j.ic.2008.07.004","volume":"206","author":"S. Shoham","year":"2008","unstructured":"Shoham, S., Grumberg, O.: 3-valued abstraction: More precision at less cost. Information and Computation\u00a0206(11), 1313\u20131333 (2008)","journal-title":"Information and Computation"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","volume":"190","author":"Y. Wang","year":"2013","unstructured":"Wang, Y., Cao, Q.: On axiomatizations of public announcement logic. Synthese\u00a0190, 103\u2013134 (2013)","journal-title":"Synthese"},{"key":"16_CR15","unstructured":"Wang, Y., Li, Y.: Not all those who wander are lost: Dynamic epistemic reasoning in navigation. In: Advances in Modal Logic, pp. 559\u2013580 (2012)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45824-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T21:55:48Z","timestamp":1747173348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45824-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662458235","9783662458242"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45824-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}