{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:09Z","timestamp":1740108189629,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T00:00:00Z","timestamp":1656115200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T00:00:00Z","timestamp":1656115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004004","name":"Universit\u00e0 degli Studi di Trento","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004004","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We introduce a logic for a class of probabilistic Kripke structures that we call type structures, as they are inspired by Harsanyi type spaces. The latter structures are used in theoretical economics and game theory. A strong completeness theorem for an associated infinitary propositional logic with probabilistic operators was proved by Meier. By simplifying Meier\u2019s proof, we prove that our logic is strongly complete with respect to the class of type structures. In order to do that, we define a canonical model (in the sense of modal logics), which turns out to be a terminal object in a suitable category. Furthermore, we extend some standard model-theoretic constructions to type structures and we prove analogues of first-order results for those constructions.<\/jats:p>","DOI":"10.1007\/s00153-022-00835-5","type":"journal-article","created":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T15:02:54Z","timestamp":1656169374000},"page":"291-320","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An infinitary propositional probability logic"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7143-2685","authenticated-orcid":false,"given":"Stefano","family":"Baratella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,25]]},"reference":[{"key":"835_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3444-9","volume-title":"Nostandard methods in fixed point theory","author":"AG Aksoy","year":"1990","unstructured":"Aksoy, A.G., Khamsi, M.A.: Nostandard methods in fixed point theory. Springer, New York (1990)"},{"key":"835_CR2","volume-title":"Probability and measure theory","author":"RB Ash","year":"2000","unstructured":"Ash, R.B.: Probability and measure theory, 2nd edn. Academic Press, San Diego CA USA (2000)","edition":"2"},{"key":"835_CR3","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s001820050112","volume":"28\u20133","author":"RJ Aumann","year":"1999","unstructured":"Aumann, R.J.: Interactive epistemology II: Probability. International Journal of Game Theory 28\u20133, 301\u2013314 (1999)","journal-title":"International Journal of Game Theory"},{"key":"835_CR4","volume-title":"Models and ultraproducts-an introduction","author":"JL Bell","year":"2006","unstructured":"Bell, J.L., Slomson, A.B.: Models and ultraproducts-an introduction. Dover, New York (2006)"},{"key":"835_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1090-5","volume-title":"Probability, random processes, and ergodic properties","author":"RM Gray","year":"2009","unstructured":"Gray, R.M.: Probability, random processes, and ergodic properties, 2nd edn. Springer, Dordrecht (2009)","edition":"2"},{"key":"835_CR6","volume-title":"Measure theory","author":"P Halmos","year":"1974","unstructured":"Halmos, P.: Measure theory. Springer, New York (1974)"},{"key":"835_CR7","doi-asserted-by":"crossref","unstructured":"Harsanyi, J.C.: Games with incomplete information played by \u201cBayesian\u201d players I, II, III. Management Sci., 14, 159\u2013182, 320\u2013334, 486\u2013502 (1967\/68)","DOI":"10.1287\/mnsc.14.3.159"},{"issue":"1\u20132","key":"835_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A Heifetz","year":"2001","unstructured":"Heifetz, A., Mongin, P.: Probability logic for type spaces. Games Econom. Behav. 35(1\u20132), 31\u201353 (2001)","journal-title":"Games Econom. Behav."},{"key":"835_CR9","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1006\/jeth.1998.2435","volume":"82\u20132","author":"A Heifetz","year":"1998","unstructured":"Heifetz, A., Samet, D.: Topology-free typology of beliefs. Journal of Economic Theory 82\u20132, 324\u2013341 (1998)","journal-title":"Journal of Economic Theory"},{"key":"835_CR10","volume-title":"Set theory","author":"T Jech","year":"2003","unstructured":"Jech, T.: Set theory. Springer, Berlin (2003)"},{"key":"835_CR11","volume-title":"Languages with expressions of infinite length","author":"CR Karp","year":"1964","unstructured":"Karp, C.R.: Languages with expressions of infinite length. North-Holland Publishing Co., Amsterdam (1964)"},{"key":"835_CR12","doi-asserted-by":"crossref","unstructured":"Keisler, H.J.: Probability quantifiers, in Model-theoretic logics, 509\u2013556. Perspect. Math. Logic, Springer, New York (1985)","DOI":"10.1017\/9781316717158.021"},{"key":"835_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11856-012-0046-8","volume":"192\u20131","author":"M Meier","year":"2012","unstructured":"Meier, M.: An infinitary probability logic for type spaces. Israel J. Math. 192\u20131, 1\u201358 (2012)","journal-title":"Israel J. Math."},{"key":"835_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01770224","volume":"14","author":"J-F Mertens","year":"1985","unstructured":"Mertens, J.-F., Zamir, S.: Formulation of Bayesian analysis for games with incomplete information, Internatinal Journal of. Game Theory 14, 1\u201329 (1985)","journal-title":"Game Theory"},{"key":"835_CR15","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/j.entcs.2004.02.036","volume":"106","author":"LS Moss","year":"2004","unstructured":"Moss, L.S., Viglizzo, I.D.: Harsanyi type spaces and final coalgebras constructed from satisfied theories. Electronic Notes in Theoretical Computer Science 106, 279\u2013295 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"835_CR16","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.ic.2005.04.006","volume":"204","author":"LS Moss","year":"2006","unstructured":"Moss, L.S., Viglizzo, I.D.: Final coalgebras for functors on measurable spaces. Inf. Comput. 204, 610\u2013636 (2006)","journal-title":"Inf. Comput."},{"issue":"1\u20132","key":"835_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10474-009-8248-1","volume":"126","author":"M Pint\u00e9r","year":"2010","unstructured":"Pint\u00e9r, M.: The existence of an inverse limit of inverse systems of measurable spaces-A purely measurable case. Acta Math. Hungar. 126(1\u20132), 65\u201377 (2010)","journal-title":"Acta Math. Hungar."},{"key":"835_CR18","volume-title":"Foundations of stochastic analysis","author":"MM Rao","year":"1981","unstructured":"Rao, M.M.: Foundations of stochastic analysis. Academic Press, New York (1981)"},{"key":"835_CR19","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1016\/0047-259X(71)90016-9","volume":"4","author":"S Vasilach","year":"1971","unstructured":"Vasilach, S.: Direct limits of measure spaces. J. Multivar. Anal. 4, 394\u2013411 (1971)","journal-title":"J. Multivar. Anal."},{"key":"835_CR20","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0047-259X(74)90017-7","volume":"4","author":"S Vasilach","year":"1974","unstructured":"Vasilach, S.: Some remarks on direct limits of measure spaces. J. Multivar. Anal. 4, 241\u2013252 (1974)","journal-title":"J. Multivar. Anal."},{"key":"835_CR21","doi-asserted-by":"publisher","first-page":"1427","DOI":"10.1093\/logcom\/exp031","volume":"19\u20136","author":"C Zhou","year":"2009","unstructured":"Zhou, C.: A complete deductive system for probability logic. J. Logic Comput. 19\u20136, 1427\u20131454 (2009)","journal-title":"J. Logic Comput."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00835-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00835-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00835-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,17]],"date-time":"2023-04-17T03:46:15Z","timestamp":1681703175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00835-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,25]]},"references-count":21,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["835"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00835-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,6,25]]},"assertion":[{"value":"18 October 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}