{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T17:34:18Z","timestamp":1784309658744,"version":"3.55.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2013,4,24]],"date-time":"2013-04-24T00:00:00Z","timestamp":1366761600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11229-013-0278-0","type":"journal-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T01:47:52Z","timestamp":1367372872000},"page":"31-55","source":"Crossref","is-referenced-by-count":15,"title":["Information dynamics and uniform substitution"],"prefix":"10.1007","volume":"190","author":[{"given":"Wesley H.","family":"Holliday","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tomohiro","family":"Hoshi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"suffix":"III","given":"Thomas F.","family":"Icard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,4,24]]},"reference":[{"key":"278_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02115609","volume":"2","author":"L Aqvist","year":"1973","unstructured":"Aqvist, L. (1973). Modal logic with subjunctive conditionals and dispositional predicates. Journal of Philosophical Logic, 2, 1\u201376.","journal-title":"Journal of Philosophical Logic"},{"key":"278_CR2","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P. Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de Lima, T. (2008). \u2018Knowable\u2019 as \u2018known after an announcement\u2019. The Review of Symbolic Logic, 1, 305\u2013334.","journal-title":"The Review of Symbolic Logic"},{"key":"278_CR3","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/s10992-004-7800-2","volume":"34","author":"R Ballarin","year":"2005","unstructured":"Ballarin, R. (2005). Validity and necessity. Journal of Philosophical Logic, 34, 275\u2013303.","journal-title":"Journal of Philosophical Logic"},{"key":"278_CR4","unstructured":"Baltag, A., L. Moss, S. Solecki: 1998, The logic of public announcements, common knowledge and private suspicions. In: I. Gilboa (Ed.): Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98). Morgan Kaufmann, pp. 43\u201356."},{"key":"278_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press."},{"issue":"2","key":"278_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1093635417","volume":"31","author":"SR Buss","year":"1990","unstructured":"Buss, S. R. (1990). The modal logic of pure provability. Notre Dame Journal of Formal Logic, 31(2), 225\u2013231.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"278_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2268610","volume":"11","author":"R Carnap","year":"1946","unstructured":"Carnap, R. (1946). Modalities and quantification. The Journal of Symbolic Logic, 11(2), 33\u201364.","journal-title":"The Journal of Symbolic Logic"},{"key":"278_CR8","unstructured":"Ciardelli, I. A. (2009). Inquisitive semantics and intermediate logics. Master\u2019s thesis, University of Amsterdam. ILLC Master of Logic Thesis Series MoL-2009-11."},{"key":"278_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00354523","volume":"38","author":"M Davies","year":"1980","unstructured":"Davies, M., & Humberstone, L. (1980). Two notions of necessity. Philosophical Studies, 38, 1\u201330.","journal-title":"Philosophical Studies"},{"key":"278_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-94-009-0349-4_4","volume-title":"Frontiers of combining systems","author":"LF Cerro del","year":"1996","unstructured":"del Cerro, L. F., & Herzig, A. (1996). Combining classical and intuitionistic logic\u2014or: Intuitionistic implication as a conditional. In F. Baader & K. Schulz (Eds.), Frontiers of combining systems (pp. 93\u2013102). Dordrecht: Kluwer Academic Publishers."},{"key":"278_CR11","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambrige: MIT Press."},{"issue":"2","key":"278_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.2307\/2271594","volume":"28","author":"FB Fitch","year":"1963","unstructured":"Fitch, F. B. (1963). A logical analysis of some value concepts. The Journal of Symbolic Logic, 28(2), 135\u2013142.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"278_CR13","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., & Groenevelt, W. (1997). Reasoning about information change. Journal of Logic, Language and Information, 6(2), 147\u2013169.","journal-title":"Journal of Logic, Language and Information"},{"key":"278_CR14","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/BF00257382","volume":"25","author":"JY Halpern","year":"1996","unstructured":"Halpern, J. Y. (1996). Should knowledge entail belief? Journal of Philosophical Logic, 25, 483\u2013494.","journal-title":"Journal of Philosophical Logic"},{"key":"278_CR15","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. New York: Cornell University Press."},{"key":"278_CR16","unstructured":"Holliday, W. H.: (2012). \u2018Hintikka\u2019s anti-performatory effect and Fitch\u2019s Paradox of knowability\u2019. Manuscript."},{"key":"278_CR17","doi-asserted-by":"crossref","unstructured":"Holliday, W. H. (2013a). Epistemic closure and epistemic logic I: Relevant alternatives and subjunctivism. Forthcoming: Journal of Philosophical Logic.","DOI":"10.1007\/s10992-013-9306-2"},{"key":"278_CR18","volume-title":"Handbook of formal philosophy","author":"WH Holliday","year":"2013","unstructured":"Holliday, W. H. (2013b). Epistemic logic and epistemology. In S. O. Hansson & V. F. Hendricks (Eds.), Handbook of formal philosophy. Berlin: Springer."},{"key":"278_CR19","unstructured":"Holliday, W. H., T. Hoshi, & T. F. Icard, III.(2011). Schematic validity in dynamic epistemic logic: Decidability. In H. van Ditmarsch, J. Lang, & S. Ju (eds.): Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI-III), Vol. 6953 of Lecture Notes in Artificial Intelligence (pp. 87\u201396). Berlin: Springer."},{"key":"278_CR20","unstructured":"Holliday, W. H., T. Hoshi, & T. F. Icard, III. (2012). A uniform logic of information dynamics. In T. Bolander, T. Bra\u00fcner, S. Ghilardi, & L. Moss (Eds.): Advances in Modal Logic, Vol. 9. College Publications, (pp. 348\u2013367)."},{"key":"278_CR21","unstructured":"Holliday, W. H. & T. F. Icard, III. (2010). Moorean phenomena in epistemic logic. In: L. Beklemishev, V. Goranko, & V. Shehtman (Eds.)  Advances in modal logic, (Vol. 8 pp. 178\u2013199). College Publications."},{"issue":"2","key":"278_CR22","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11229-009-9552-6","volume":"169","author":"T Hoshi","year":"2009","unstructured":"Hoshi, T., & Yap, A. (2009). Dynamic epistemic logic with branching temporal structures. Synthese, 169(2), 259\u2013281.","journal-title":"Synthese"},{"key":"278_CR23","unstructured":"Mascarenhas, S. (2009). Inquisitive Semantics and Logic. Master\u2019s thesis, University of Amsterdam. ILLC Master of Logic Thesis Series MoL-2009-18."},{"key":"278_CR24","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J. Ch. & W. van der Hoek. (1995). Epistemic logic for AI and computer science, Vol. 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511569852"},{"key":"278_CR25","first-page":"535","volume-title":"The philosophy of G.E. Moore","author":"GE Moore","year":"1942","unstructured":"Moore, G. E. (1942). A reply to my critics. In P. A. Schilpp (Ed.), The philosophy of G.E. Moore (pp. 535\u2013677). Evanston: Northwestern University."},{"key":"278_CR26","unstructured":"Plaza, J. (1989). Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.): Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (pp. 201\u2013216). Oak Ridge National Laboratory."},{"key":"278_CR27","volume-title":"Word and object","author":"WVO Quine","year":"1960","unstructured":"Quine, W. V. O. (1960). Word and object. Cambridge: MIT Press."},{"issue":"3","key":"278_CR28","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M Reynolds","year":"2001","unstructured":"Reynolds, M. (2001). An axiomatization of full computation tree logic. The Journal of Symbolic Logic, 66(3), 1011\u20131057.","journal-title":"The Journal of Symbolic Logic"},{"key":"278_CR29","unstructured":"Schurz, G. (2005). Logic, matter of form, and closure under substitution. In M. Bilkova and L. Behounek (Eds.), The Logica Yearbook (pp. 33\u201346). Filosofia."},{"issue":"1","key":"278_CR30","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K Segerberg","year":"1973","unstructured":"Segerberg, K. (1973). Two-dimensional modal logic. Journal of Philosophical Logic, 2(1), 77\u201396.","journal-title":"Journal of Philosophical Logic"},{"key":"278_CR31","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1026168632319","volume":"75","author":"H Ditmarsch van","year":"2003","unstructured":"van Ditmarsch, H. (2003). The Russian cards problem. Studia Logica, 75, 31\u201362.","journal-title":"Studia Logica"},{"issue":"2","key":"278_CR32","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1093\/analys\/64.2.95","volume":"64","author":"J Benthem van","year":"2004","unstructured":"van Benthem, J. (2004). What one may Ccme to know. Analysis, 64(2), 95\u2013105.","journal-title":"Analysis"},{"key":"278_CR33","unstructured":"van Benthem, J. (2006). One is a lonely number: Logic and communication. In Z. Chatzidakis, P. Koepke, & W. Pohlers (Eds.), Logic Colloquium\n                  \n                    \n                      \n                    \n                    $$^{\\prime }$$\n                  02 (pp. 96\u2013129). Peters: ASL and A.K."},{"key":"278_CR34","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/0-387-31072-X_3","volume-title":"Mathematical problems from applied logic I","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J. (2006b). Open problems in logical dynamics. In D. Gabbay, S. Goncharov, & M. Zakharyashev (Eds.), Mathematical problems from applied logic I (pp. 137\u2013192). Berlin: Springer."},{"key":"278_CR35","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. (2006). The secret of my success. Synthese, 151, 201\u2013232.","journal-title":"Synthese"},{"issue":"11","key":"278_CR36","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. (2006). Logics of communication and change. Information and Computation, 204(11), 1620\u20131662.","journal-title":"Information and Computation"},{"issue":"2","key":"278_CR37","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1111\/j.1755-2567.2011.01119.x","volume":"78","author":"H Ditmarsch van","year":"2011","unstructured":"van Ditmarsch, H., van der Hoek, W., & Iliev, P. (2011). Everything is knowable\u2014how to get to know whether a proposition is true. Theoria, 78(2), 93\u2013114.","journal-title":"Theoria"},{"key":"278_CR38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press."},{"key":"278_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic epistemic logic. Berlin: Springer."},{"key":"278_CR40","unstructured":"Williamson, T. (2000). Knowledge and its limits. Oxford: Oxford University Press."},{"key":"278_CR41","unstructured":"Wang, Y. ( 2011). On axiomatizations of PAL. In H. van Ditmarsch, J. Lang, S. Ju (eds.), Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI-III) Vol. 6953 of Lecture Notes in Artificial Intelligence (pp. 314\u2013327). Berlin: Springer."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0278-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-013-0278-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0278-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0278-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T22:22:38Z","timestamp":1581978158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-013-0278-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,24]]},"references-count":41,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["278"],"URL":"https:\/\/doi.org\/10.1007\/s11229-013-0278-0","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,24]]}}}