{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:47:20Z","timestamp":1759146440929,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["18-19162Y"],"award-info":[{"award-number":["18-19162Y"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2021,3]]},"DOI":"10.1007\/s10849-020-09326-3","type":"journal-article","created":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T09:22:34Z","timestamp":1610097754000},"page":"91-116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Inquisitive Propositional Dynamic Logic"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2198-4574","authenticated-orcid":false,"given":"V\u00edt","family":"Pun\u010doch\u00e1\u0159","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Sedl\u00e1r","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,8]]},"reference":[{"key":"9326_CR1","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag, A., & Moss, L. (2004). Logics for epistemic programs. Synthese, 139, 165\u2013224.","journal-title":"Synthese"},{"key":"9326_CR2","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1111\/lnc3.12037","volume":"7","author":"I Ciardelli","year":"2013","unstructured":"Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2013). Inquisitive semantics: A new notion of meaning. Language and Linguistics Compass, 7, 459\u2013476.","journal-title":"Language and Linguistics Compass"},{"key":"9326_CR3","volume-title":"Inquisitive semantics","author":"I Ciardelli","year":"2019","unstructured":"Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2019). Inquisitive semantics. Oxford: Oxford University Press."},{"key":"9326_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","volume":"40","author":"I Ciardelli","year":"2011","unstructured":"Ciardelli, I., & Roelofsen, F. (2011). Inquisitive logic. Journal of Philosophical Logic, 40, 55\u201394.","journal-title":"Journal of Philosophical Logic"},{"key":"9326_CR5","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1007\/s11229-014-0404-7","volume":"192","author":"I Ciardelli","year":"2015","unstructured":"Ciardelli, I., & Roelofsen, F. (2015). Inquisitive dynamic epistemic logic. Synthese, 192, 1643\u20131687.","journal-title":"Synthese"},{"key":"9326_CR6","unstructured":"Ciardelli, I. (2016). Questions in logic. Ph.D. thesis, University of Amsterdam."},{"key":"9326_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s11229-016-1221-y","volume":"195","author":"I Ciardelli","year":"2018","unstructured":"Ciardelli, I. (2018). Questions as information types. Synthese, 195, 321\u2013365.","journal-title":"Synthese"},{"key":"9326_CR8","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M. J., & Ladner, R. E. (1979). Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18, 194\u2013211.","journal-title":"Journal of Computer and System Sciences"},{"key":"9326_CR9","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge: MIT Press."},{"key":"9326_CR10","unstructured":"Mellema, R. (2019). An inquisitive dynamic epistemic logic with factual change. Master\u2019s thesis. University of Groningen."},{"key":"9326_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J-JC Meyer","year":"1987","unstructured":"Meyer, J.-J. C. (1987). A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29, 109\u2013136.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9326_CR12","unstructured":"Pratt, V. (1976). Semantical considerations on Floyd-Hoare logic. In Proceedings of the 17th IEEE symposium on foundations of computer science (pp. 109\u2013121). IEEE Computer Society."},{"key":"9326_CR13","doi-asserted-by":"publisher","first-page":"3905","DOI":"10.1007\/s11229-018-1886-5","volume":"197","author":"T van Gessel","year":"2020","unstructured":"van Gessel, T. (2020). Action models in inquisitive logic. Synthese, 197, 3905\u20133945.","journal-title":"Synthese"},{"key":"9326_CR14","unstructured":"Yang, F. (2014). On extensions and variants of dependence logic. Ph.D. thesis, University of Helsinki."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-020-09326-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-020-09326-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-020-09326-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,16]],"date-time":"2021-03-16T19:04:14Z","timestamp":1615921454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-020-09326-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,8]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["9326"],"URL":"https:\/\/doi.org\/10.1007\/s10849-020-09326-3","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2021,1,8]]},"assertion":[{"value":"21 November 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}