{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:26:39Z","timestamp":1752229599317},"reference-count":11,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":3603,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1997,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>It is known that a theory in S5\u2010epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas. We show that this asymmetry between syntax and semantics persists also when infinite conjunctions (up to some given cardinality) are permitted in the language. We develop a strengthened S5\u2010axiomatic system for such infinitary logics, and prove a strong completeness theorem for them. Then we show that in every such logic there is always a theory with more than one model.<\/jats:p>","DOI":"10.1002\/malq.19970430306","type":"journal-article","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T09:24:24Z","timestamp":1180517064000},"page":"333-342","source":"Crossref","is-referenced-by-count":7,"title":["Infinitary S5\u2010Epistemic Logic"],"prefix":"10.1002","volume":"43","author":[{"given":"Aviad","family":"Heifetz","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176343654"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/2275262"},{"key":"e_1_2_1_5_2","first-page":"229","volume-title":"Proc. 4th Conference on Theoretical Aspects of Reasoning about Knowledge","author":"Fagin R.","year":"1992"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/103516.128680"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1453-5.50010-6"},{"key":"e_1_2_1_9_2","unstructured":"Heifetz A. andD.Samet Universal Partition Structures. IIBR working paper 26\/93 Tel Aviv University 1993."},{"key":"e_1_2_1_10_2","volume-title":"A Companion to Modal Logic","author":"Hughes G. E.","year":"1984"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/0165-4896(91)90024-L"},{"key":"e_1_2_1_12_2","volume-title":"Languages with Expressions of Infinite Length","author":"Karp C. R.","year":"1964"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19970430306","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19970430306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T05:38:15Z","timestamp":1696916295000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19970430306"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1002\/malq.19970430306"],"URL":"https:\/\/doi.org\/10.1002\/malq.19970430306","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}