{"entities":{"Q2785840":{"pageid":2796578,"ns":120,"title":"Item:Q2785840","lastrevid":83321708,"modified":"2026-05-07T07:13:37Z","type":"item","id":"Q2785840","labels":{"en":{"language":"en","value":"A theory of knowledge and ignorance for many agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 982571"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785840$C14DD074-7A0C-4F4C-AF83-63037A0C9DB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"612101c1ea0bfba20794cfa87f098db208e5ba61","datavalue":{"value":{"text":"A theory of knowledge and ignorance for many agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2785840$9D0CFC3D-51C9-409C-BF6E-E45DF6DD4352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7fcb402a2fc93c32e40317a440cbc93be66210b","datavalue":{"value":"0881.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$91B7F134-DF2A-45FE-864B-A47CC4EE2491","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785840$095A57E7-CDE9-438A-9488-97280C3C98AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3bf748c053f7fb25f0688de7c7165acbc04853","datavalue":{"value":{"time":"+1997-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2785840$22650054-AA5A-419A-9016-15249C05051B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67535e00019c1acd4b6b476c408d71e5486a9eb8","datavalue":{"value":"https://semanticscholar.org/paper/4a8729f61f208e1bd6066399a54c423e61149f0d","type":"string"},"datatype":"url"},"type":"statement","id":"Q2785840$F76693C5-1BE7-4C04-8F67-4ED3D0BD76F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$5E9ABB46-6AE8-4351-ABA3-511DD7CB7E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$39EA2B0E-DB06-488A-B46C-BCBBA1A5D648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$21B033EF-11B3-48DA-91B0-64719158AA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$0F33F0E2-EE5F-4A80-B643-057F4AE5FDD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15a07bd1680a77e4ecc197f08bd4ca142b84285e","datavalue":{"value":"982571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$C2D5B3F9-2868-4BDB-9A74-76BE56D3D1F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785840$DDC1483A-2A13-4008-B461-D4B4A1857FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785840$6018581A-1B75-4D91-B3C6-A837FCAE47AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785840$97635DCB-FCFE-49EA-BC81-C6F3E8F53A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dfdeb9488287426406bf6123e14e7aa44ce4684","datavalue":{"value":"only knowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785840$9AD95763-9FC9-466F-980B-402652984792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0154dd054325eee34d8b6950c41af6bf61a594ba","datavalue":{"value":"many agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785840$FAB43B76-50E2-40A7-BAD5-264D6339A577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92e116e99c8f34d4419dc1500c687a24342a4b4","datavalue":{"value":"possibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785840$7B06B303-A832-431F-B1FC-D93EF2897E17","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785840$AECDB0D3-ABDE-4229-A618-CFA616BEF86A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c959d808627d8e86728a13fd10195e564323ef71","datavalue":{"value":"W2007448387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$5CEC8BC5-C6D7-4BF4-88D5-E984DEAC978F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94333ca21c74e4e88cdbe08d3222b29939048011","datavalue":{"value":"10.1093/LOGCOM/7.1.79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785840$7C8090FD-3683-477D-A45C-72C0F6059FB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785840$A1A7E6FD-13B9-4BD7-A23B-3F261FF4DAF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea9d2f47038fb5e55c758a93f58c483dc78aa096","datavalue":{"value":"This paper aims to extend the notion of ``only knowing'' from the single-agent case to many agents by means of appropriate modal logics. For all extensions, the basic framework is preserved: Kripke structure of possible worlds with the corresponding modalities. The only knowing with a single agent, introduced previously by J. Y. Halpern and Y. Moses, used as a possibility a common truth assignment. To extend only knowing to many agents, three notions of possibility are defined. The first one is most appropriate for non-introspective modal systems, such as \\(\\text{K}_n\\), \\(\\text{T}_n\\), \\(\\text{S}4_n\\), the second one for systems like \\(\\text{K}45_n\\) and \\(\\text{KD}45_n\\), and the third one for \\(\\text{S}5_n\\) logic. With the notion of possibility accepted, reasonable extensions are shown. In the last section some interesting questions about the notion of possibility are stated to be analyzed in future work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785840$181CD991-A2C4-46B1-A094-D1F470BC383B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be2a52757c5af513b7fb2d5e98fbd88a4a770b60","datavalue":{"value":{"entity-type":"item","numeric-id":1188640,"id":"Q1188640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785840$82D635B9-FA69-4713-827E-4750111C1FBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bdb04e9929e0b62069280f3d8d82bbf0c6bdc0","datavalue":{"value":{"entity-type":"item","numeric-id":5740436,"id":"Q5740436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2608a0b48553ef27b65fac8cf46f85fe050e650a","datavalue":{"value":{"amount":"+0.8436176776885986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2785840$38E30F3D-AE31-46F2-966C-7A76637D842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098a62068309239a19a2d119666ff2505a1182d6","datavalue":{"value":{"entity-type":"item","numeric-id":892188,"id":"Q892188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9080727ef7a4c43778f6eeb50600cd0179e423c0","datavalue":{"value":{"amount":"+0.8301878571510315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2785840$DD6302B2-3498-4C40-BC98-0677D010DD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba820464aaac031e0e822fe6813a520c8e5134f","datavalue":{"value":{"entity-type":"item","numeric-id":5711865,"id":"Q5711865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a76205dba9511746ed853155a808b061489ce1","datavalue":{"value":{"amount":"+0.8280750513076782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2785840$1A85BD64-D7F9-410F-837E-4D3F3EBCF38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0f48c972187a44b22728521b1daf52e0f069fb","datavalue":{"value":{"entity-type":"item","numeric-id":2720397,"id":"Q2720397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0d6830fc93e0f4eac33c404343fcc6fa2dfee1","datavalue":{"value":{"amount":"+0.8256877064704895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2785840$D83FAF9F-3949-4922-AB50-D7B5AE115D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3371e2e379bd6dd5d3b357e44d1363f2a1276a","datavalue":{"value":{"entity-type":"item","numeric-id":5404396,"id":"Q5404396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b778270b625566d8b4c1d8809a70b7174c9627dd","datavalue":{"value":{"amount":"+0.8003033399581909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2785840$2B12EC67-A3D7-402C-BB8F-05A0DF39C52B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of knowledge and ignorance for many agents","badges":[]}}}}}