{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T18:00:33Z","timestamp":1771264833021,"version":"3.50.1"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T00:00:00Z","timestamp":1542326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10992-018-9485-y","type":"journal-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T22:51:57Z","timestamp":1542322317000},"page":"571-601","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Implicit and Explicit Stances in Logic"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7048-785X","authenticated-orcid":false,"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,16]]},"reference":[{"key":"9485_CR1","unstructured":"Andr\u00e9ka, H., Bezhanishvili, N., N\u00e9meti I., van Benthem, J. (2014). Changing a semantics: opportunism or courage? In Manzano, M., Sain I., Alonso, E. (Eds.) The life and work of Leon Henkin (pp. 307\u2013337). Basel: Birkha\u00fcser Verlag."},{"key":"9485_CR2","volume-title":"Justification logic. Technical report TR-2007019","author":"S Artemov","year":"2007","unstructured":"Artemov, S. (2007). Justification logic. Technical report TR-2007019. New York: CUNY Graduate Center."},{"key":"9485_CR3","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1017\/S1755020315000374","volume":"9","author":"S Artemov","year":"2016","unstructured":"Artemov, S., & Protopopescu, T. (2016). Intuitionistic epistemic logic. Review of Symbolic Logic, 9, 266\u2013298.","journal-title":"Review of Symbolic Logic"},{"key":"9485_CR4","unstructured":"Balbiani, P., & Galmiche, D. (2016). About intuitionistic public announcement logic. In Beklemishev, L., Demri S., Mat\u00e9, A. (Eds.) Proceedings advances in modal logic, Budapest 2016 (pp. 58\u201377). London: College Publications."},{"key":"9485_CR5","unstructured":"Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In Bonanno, G., van der Hoek W., Wooldridge, M. (Eds.) Texts in logic and games (Vol. 3, pp. 9\u201358). Amsterdam University Press."},{"key":"9485_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","volume":"179:2","author":"A Baltag","year":"2011","unstructured":"Baltag, A., & Smets, S. (2011). Quantum logic as a dynamic logic. Synthese, 179:2, 285\u2013306.","journal-title":"Synthese"},{"issue":"6","key":"9485_CR7","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1007\/s00500-017-2499-5","volume":"21","author":"A Baltag","year":"2017","unstructured":"Baltag, A., & Smets, S. (2017). Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft Computing, 21(6), 1523\u20131535.","journal-title":"Soft Computing"},{"key":"9485_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1093\/bjps\/IV.14.147","volume":"4:14","author":"Y Bar-Hillel","year":"1953","unstructured":"Bar-Hillel, Y., & Carnap, R. (1953). Semantic information. The British Journal for the Philosophy of Science, 4:14, 147\u2013157.","journal-title":"The British Journal for the Philosophy of Science"},{"key":"9485_CR9","volume-title":"Situations and attitudes","author":"J Barwise","year":"1983","unstructured":"Barwise, J., & Perry, J. (1983). Situations and attitudes. Cambridge: The MIT Press."},{"key":"9485_CR10","volume-title":"Logical pluralism","author":"J Beall","year":"2006","unstructured":"Beall, J., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press."},{"key":"9485_CR11","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (1989). Semantic parallels in natural language and computation. In Ebbinghaus, H\u2013D, & et al. (Eds.) Logic colloquium. 1987 (pp. 331\u2013375). NorthHolland, Amsterdam.","DOI":"10.1016\/S0049-237X(08)70133-2"},{"key":"9485_CR12","unstructured":"van Benthem, J. (1996). Modal logic as a theory of information. In Copeland, J. (Ed.) Logic and reality (pp. 135\u2013168). Oxford: Clarendon Press."},{"key":"9485_CR13","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":"9485_CR14","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in games","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J. (2014). Logic in games. Cambridge: The MIT Press."},{"key":"9485_CR15","first-page":"1353","volume":"27:5","author":"J Benthem van","year":"2017","unstructured":"van Benthem, J., Bezhanishvili, N., Holliday, W. (2017). A bimodal perspective on possibility semantics. Journal of Logic and Computation, 27:5, 1353\u20131389.","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"9485_CR16","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s10992-012-9233-7","volume":"41","author":"J Benthem","year":"2012","unstructured":"Benthem, J., & Minica, S. (2012). Toward a dynamic logic of questions. Journal of Philosophical Logic, 41(4), 633\u2013669.","journal-title":"Journal of Philosophical Logic"},{"key":"9485_CR17","unstructured":"Bezhanishvili, G., & Holliday, W. (2017). A semantic hierarchy for intuitionistic logic to appear. In van Dalen, D., Klop, J.W, van Mill, J. (Eds.) Indagationes mathematicae, special issue on L. E. J. Brouwer."},{"key":"9485_CR18","volume-title":"Modal logic","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P., Rijke, M., Venema, Y. (2000). Modal logic. Cambridge: Cambridge University Press."},{"issue":"1","key":"9485_CR19","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","volume":"22","author":"J Burgess","year":"1981","unstructured":"Burgess, J. (1981). Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic, 22(1), 76\u201384.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"9","key":"9485_CR20","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(9), 459\u2013476.","journal-title":"Language and Linguistics Compass"},{"key":"9485_CR21","volume-title":"Handbook of logics for knowledge and belief","year":"2015","unstructured":"van Ditmarsch, H., Halpern, J., van der Hoek, W., Kooi, B. (Eds.). (2015). Handbook of logics for knowledge and belief. London: College Publications."},{"key":"9485_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00370809","volume":"44","author":"K Dosen","year":"1985","unstructured":"Dosen, K. (1985). Models for stronger normal intuitionistic modal logics. Studia Logica, 44, 39\u201370.","journal-title":"Studia Logica"},{"key":"9485_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00203385","volume":"1","author":"J Eijck","year":"1992","unstructured":"Eijck, J., & de Vries, F.-J. (1992). Dynamic interpretation and hoare deduction. Journal of Logic, Language and Information, 1, 1\u201344.","journal-title":"Journal of Logic, Language and Information"},{"key":"9485_CR24","doi-asserted-by":"publisher","first-page":"989","DOI":"10.2178\/jsl\/1154698587","volume":"71:3","author":"D Fernandez","year":"2006","unstructured":"Fernandez, D. (2006). A Polynomial translation of s4 into intuitionistic logic. Journal of Symbolic Logic, 71:3, 989\u20131001.","journal-title":"Journal of Symbolic Logic"},{"key":"9485_CR25","doi-asserted-by":"crossref","unstructured":"Fine, K. (2017). Truthmaker semantics. In Hale, B., Wright C., Miller, A. (Eds.) A companion to the philosophy of language, 2nd Edn. (pp. 556\u2013577). Wiley On-Line Library.","DOI":"10.1002\/9781118972090.ch22"},{"key":"9485_CR26","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1090\/S0002-9947-2012-05573-5","volume":"365","author":"N Galatos","year":"2013","unstructured":"Galatos, N., & Jipsen, P. (2013). Residuated frames with applications to decida-bility. Transactions of the American Mathematical Society, 365, 1219\u20131249.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9485_CR27","unstructured":"Gierasimczuk, N. (2010). Knowing one\u2019s limits, logical analysis of inductive inference dissertation. ILLC, University of Amsterdam."},{"key":"9485_CR28","unstructured":"Girard, P., Liu, F., Seligman, J. (2012). General dynamic dynamic logic. In Proceedings AIML Copenhagen."},{"key":"9485_CR29","first-page":"39","volume":"4","author":"K G\u00f6del","year":"1933","unstructured":"G\u00f6del, K. (1933). Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls. Ergebnisse eines Mathematischen Kolloquiums, 4, 39\u201340.","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"9485_CR30","volume-title":"A correct polynomial translation of s4 into intuitionistic logic\u2019 logic and computation group","author":"R Gor\u00e9","year":"2017","unstructured":"Gor\u00e9, R., & Thomson, J. (2017). A correct polynomial translation of s4 into intuitionistic logic\u2019 logic and computation group. Canberra: Australian National University."},{"issue":"1","key":"9485_CR31","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J Groenendijk","year":"1991","unstructured":"Groenendijk, J., & Stokhof, M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14(1), 39\u2013100.","journal-title":"Linguistics and Philosophy"},{"key":"9485_CR32","unstructured":"Halvorson, H. (2017). The invariant content of equivalent theories. Department of Philosophy, Princeton University, Talk at 6th CSLI Workshop on Logic, Rationality and Intelligent Interaction, Stanford."},{"issue":"6","key":"9485_CR33","doi-asserted-by":"publisher","first-page":"1581","DOI":"10.1007\/s11229-015-0736-y","volume":"192","author":"Y Hamami","year":"2015","unstructured":"Hamami, Y., & Roelofsen, F. (2015). Logics of questions, preface to special issue. Synthese, 192(6), 1581\u20131584.","journal-title":"Synthese"},{"key":"9485_CR34","volume-title":"Knowledge and belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief. Ithaca: Cornell University Press."},{"key":"9485_CR35","unstructured":"Holliday, W. (2012). Knowing what follows: epistemic closure and epistemic logic. Ph.D thesis, Department of Philosophy, Stanford University."},{"key":"9485_CR36","unstructured":"Hoshi, T. (2009). Epistemic dynamics and protocol information. Ph.D. thesis, Department of Philosophy, Stanford University (ILLC-DS-2009-08)."},{"key":"9485_CR37","volume-title":"The development of logic","author":"W. & M. Kneale","year":"1962","unstructured":"W. & M. Kneale. (1962). The development of logic. Oxford: Oxford University Press."},{"key":"9485_CR38","unstructured":"Kocurek, A. (2018). What can you say? Measuring the expressive power of language. Dissertation, Group in Logic and the Methodology of Science, UC Berkeley."},{"key":"9485_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.26686\/ajl.v15i1.4072","volume":"15","author":"S Kuhn","year":"2018","unstructured":"Kuhn, S., & Weatherson, B. (2018). Notes on some ideas in Lloyd Humberstone\u2019s philosophical applications of modal logic. The Australasian Journal of Logic, 15, 1. \n                    https:\/\/doi.org\/10.26686\/ajl.v15i1.4072\n                    \n                  \n                           \n                    https:\/\/doi.org\/10.26686\/ajl.v15i1.4072\n                    \n                  .","journal-title":"The Australasian Journal of Logic"},{"key":"9485_CR40","unstructured":"Levesque, H. (1984). A logic of implicit and explicit belief. In Proceedings AAAI-84, (pp. 198\u2013202)."},{"key":"9485_CR41","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford: Blackwell."},{"key":"9485_CR42","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J. (1980). Circumscription \u2013 a form of non-monotonic reasoning. Artificial Intelligence, 13, 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"9485_CR43","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","volume":"97","author":"J Miller","year":"2005","unstructured":"Miller, J., & Moss, L. (2005). The undecidability of iterated modal relativization. Studia Logica, 97, 373\u2013407.","journal-title":"Studia Logica"},{"issue":"2","key":"9485_CR44","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1017\/S1755020312000342","volume":"6","author":"G Olkhovikov","year":"2013","unstructured":"Olkhovikov, G. (2013). Model-theoretic characterization of intuitionistic propositional formulas. Review of Symbolic Logic, 6(2), 348\u2013365.","journal-title":"Review of Symbolic Logic"},{"key":"9485_CR45","first-page":"111","volume":"24","author":"R Parikh","year":"1985","unstructured":"Parikh, R. (1985). The logic of games. Annals of Discrete Mathematics, 24, 111\u2013140.","journal-title":"Annals of Discrete Mathematics"},{"key":"9485_CR46","unstructured":"Putnam, H. (1968). Is logic empirical? In Cohen, R., & Wartofsky, M. (Eds.) Boston studies in the philosophy of science 5 (pp. 216\u2013241). Dordrecht: Reidel."},{"key":"9485_CR47","doi-asserted-by":"publisher","first-page":"20","DOI":"10.2307\/2181906","volume":"60","author":"W Quine","year":"1951","unstructured":"Quine, W. (1951). Two Dogmas of empiricism. The Philosophical Review, 60, 20\u201343.","journal-title":"The Philosophical Review"},{"key":"9485_CR48","volume-title":"Substructural logics","author":"G Restall","year":"2000","unstructured":"Restall, G. (2000). Substructural logics. London: Routledge."},{"key":"9485_CR49","unstructured":"Rodenha\u00fcser, B. (2014). A matter of trust: dynamic attitudes in epistemic logic. Dissertation ILLC, University of Amsterdam."},{"issue":"6","key":"9485_CR50","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1007\/s11229-014-0404-7","volume":"192","author":"F Roelofsen","year":"2015","unstructured":"Roelofsen, F., & Cardelli, I. (2015). Inquisitive dynamic epistemic logic. Synthese, 192(6), 1643\u20131687.","journal-title":"Synthese"},{"key":"9485_CR51","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198733638.001.0001","volume-title":"The boundary stones of thought","author":"I Rumfitt","year":"2015","unstructured":"Rumfitt, I. (2015). The boundary stones of thought. Oxford: Oxford University Press."},{"key":"9485_CR52","unstructured":"Shi, Ch. (2018). Reason to believe. Dissertation DS 2018-10 Institute for Logic, Language and Computation, University of Amsterdam."},{"key":"9485_CR53","volume-title":"Reasoning about change: time and change from the standpoint of artificial intelligence","author":"Y Shoham","year":"1988","unstructured":"Shoham, Y. (1988). Reasoning about change: time and change from the standpoint of artificial intelligence. Cambridge: MIT Press."},{"key":"9485_CR54","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128:1","author":"R Stalnaker","year":"2006","unstructured":"Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128:1, 169\u2013199.","journal-title":"Philosophical Studies"},{"key":"9485_CR55","unstructured":"Troelstra, A., & van Dalen, D. (1988). Constructivism in Mathematics, Vol. 2. North-Holland, Amsterdam."},{"key":"9485_CR56","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00248150","volume":"25","author":"F Veltman","year":"1996","unstructured":"Veltman, F. (1996). Defaults in upyear semantics. Journal of Philosophical Logic, 25, 221\u2013261. Also appeared in The Philosopher\u2019s Annual, 1997.","journal-title":"Journal of Philosophical Logic"},{"key":"9485_CR57","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1093\/mind\/fzm983","volume":"116","author":"S Yalcin","year":"2007","unstructured":"Yalcin, S. (2007). Epistemic modals. Mind, 116, 983\u20131026.","journal-title":"Mind"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9485-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9485-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9485-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,15]],"date-time":"2019-11-15T19:09:58Z","timestamp":1573844998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9485-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,16]]},"references-count":57,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9485"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9485-y","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,16]]},"assertion":[{"value":"17 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}