{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:19Z","timestamp":1725491899630},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730989"},{"type":"electronic","value":"9783540730996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73099-6_6","type":"book-chapter","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T07:04:02Z","timestamp":1189753442000},"page":"43-59","source":"Crossref","is-referenced-by-count":4,"title":["A Tableau Method for Public Announcement Logics"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiago","family":"de Lima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Plaza, J.: Logics of public communications. In: Emrich, M.L., Hadzikadic, M., Pfeifer, M.S., Ras, Z.W. (eds.) Proceedings of ISMIS 1989, pp. 201\u2013216 (1989)"},{"key":"6_CR2","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Technical Report SEN-R9922, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands (1999)"},{"key":"6_CR3","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands (1999)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Kooi, B.: Expressivity and completeness for public update logic via reduction axioms. Journal of Applied Non-Classical Logics (to appear, 2007)","DOI":"10.3166\/jancl.17.231-253"},{"issue":"11","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H. Ditmarsch van","year":"2006","unstructured":"van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese\u00a0151, 201\u2013232 (2006)","journal-title":"Synthese"},{"key":"6_CR7","first-page":"108","volume":"3","author":"H. Ditmarsch van","year":"2005","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Playing cards with Hintikka. Australasian Journal of Logic\u00a03, 108\u2013134 (2005)","journal-title":"Australasian Journal of Logic"},{"key":"6_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/11874850_45","volume-title":"Advances in Artificial Intelligence - IBERAMIA-SBIA 2006","author":"A. Herzig","year":"2006","unstructured":"Herzig, A., De Lima, T.: Epistemic actions and ontic actions: A unified logical framework. In: Sichman, J.S., Coelho, H., Rezende, S.O. (eds.) IBERAMIA 2006 and SBIA 2006. LNCS (LNAI), vol.\u00a04140, pp. 409\u2013418. Springer, Heidelberg (2006)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Complexity and succintness of public announcement logic. In: Stone, P., Weiss, G. (eds.) Proceedings of AAMAS, 137\u2013144 (2006)","DOI":"10.1145\/1160633.1160657"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de Lima, T.: What can we achieve by arbitrary announcements? A dynamic take on Fitch\u2019s knowability. In: Proceedings of TARK (to appear, 2007)","DOI":"10.1145\/1324249.1324259"},{"key":"6_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel Publishing Company, Dordrecht (1983)"},{"key":"6_CR12","first-page":"311","volume":"54","author":"J. Halpern","year":"1992","unstructured":"Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 311\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"key":"6_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R.M. Smullyan","year":"1968","unstructured":"Smullyan, R.M.: First-Order Logic. Springer, Heidelberg (1968)"},{"key":"6_CR14","volume-title":"Handbook of Tableau Methods","author":"R. Letz","year":"1999","unstructured":"Letz, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D., H\u00e4hnle, R., Possega, J. (eds.) Handbook of Tableau Methods, Kluwer Academic Publishers, Boston (1999)"},{"key":"6_CR15","unstructured":"de Boer, M.: Praktische bewijzen in public announcement logica (Practical proofs in public announcement logic). Master\u2019s thesis, Department of Artificial Intelligence, University of Groningen, in Dutch (2006)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73099-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T15:44:58Z","timestamp":1550936698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73099-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730989","9783540730996"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73099-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}