{"entities":{"Q1582313":{"pageid":1593053,"ns":120,"title":"Item:Q1582313","lastrevid":72248532,"modified":"2026-04-14T03:37:26Z","type":"item","id":"Q1582313","labels":{"en":{"language":"en","value":"First order common knowledge logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1513066"}},"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":"Q1582313$09C443DB-E00F-489A-BBBD-B91854D19F6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"981ff171d9cb4fa697768353d043734b403af252","datavalue":{"value":{"text":"First order common knowledge logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1582313$3891CFD5-75D0-48F2-8136-6DB681DDA7DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b470f17cb9575618e1cd665bcede25659632c89","datavalue":{"value":"0963.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582313$E9554DB0-0164-4CBC-A423-84AAA6D197B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"837dfed34e0c8f8a2a4c387b0fe751ffc92c3bbf","datavalue":{"value":"10.1023/A:1005271815356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582313$A217475E-5DE6-4BBA-93CA-66840BD9A59D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582313$647572EE-8F6D-4AFB-AEB5-961AC474FA90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582313$F7A38DB0-B459-4F0F-B4E0-185F4BB68110","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1582313$988DC85A-2BE8-4642-84E9-8785C4033A0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"276b84335d445a7448d7cc3ca4f5312db23bf6f5","datavalue":{"value":"First-order common knowledge logics are investigated. It is shown that even rather weak fragments of these logics are not recursively axiomatizable. This applies, for example, to fragments whose first-order part is based on constant symbols and the equality symbol only. Formal properties of ``quantifying into'' epistemic contexts are investigated. The results are illustrated by means of epistemic representations of mixed-strategy Nash equilibria.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582313$F00EB901-5972-439B-930C-74F89B81A21B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582313$110DC466-382C-4FA4-A6BD-3FA0658D0F81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582313$52CF290E-F11E-4EF0-BE5C-6F4840C9A21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582313$0B9E6FF9-ACED-4AD7-87D2-C336119B9D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a7dd7003e1269b5b10ff3f935da8af9e44f172f","datavalue":{"value":"91A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582313$53F292BB-EFCE-47D6-AA07-1811C11E212A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8bdbb5c413b5c02db18acd5f5410d613386a511","datavalue":{"value":"1513066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582313$9AC2E80B-C3A0-4974-BB40-22912ED2AB06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582313$35DC2C35-86FE-44D9-968B-46C6B52DEF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582313$F15CC3CC-D0CC-4D29-A273-2CDFF2635C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53dde8b387b5cd23f4abb2e117e873f60004406d","datavalue":{"value":"Nash equilibrium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582313$E388B10C-167C-44EC-8A6B-FEDEC12C1FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a92e9dfc0961f16f120a9d44421c80adcf1bd83c","datavalue":{"value":"common knowledge logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582313$F554D0FE-97B2-4AF9-9E0C-B386BA512BFF","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":"Q1582313$C0C773C2-CDEC-4B36-A17B-13739DEB57EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7b65cb151ae725caf8244648af3f9fd01a0414","datavalue":{"value":{"entity-type":"item","numeric-id":1349272,"id":"Q1349272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333af286e48fa975fb566524220ebe17d36e4cf3","datavalue":{"value":{"amount":"+0.8285114765167236","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":"Q1582313$101F0661-137E-4632-AEDE-5D29A91C820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed495f1b7eee40025bc1f65adbe42ce0af222c5","datavalue":{"value":{"entity-type":"item","numeric-id":4955426,"id":"Q4955426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd4d99ee15a14dd5dae131c59cc9ca449ac5440","datavalue":{"value":{"amount":"+0.8169059157371521","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":"Q1582313$D1E63218-F442-4987-B46B-AE081CED81EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c0f2abe9e540ba588086fc9f58ba9b0b4f553","datavalue":{"value":{"entity-type":"item","numeric-id":4304804,"id":"Q4304804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd4d99ee15a14dd5dae131c59cc9ca449ac5440","datavalue":{"value":{"amount":"+0.8169059157371521","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":"Q1582313$23168441-1ECF-4D62-B110-8A4D5896038B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b257a674eaf536128c1a643bdc619e81662b02","datavalue":{"value":{"entity-type":"item","numeric-id":1330013,"id":"Q1330013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f699a8159f4ca2b0f9aeaf48ccaf18155429ccb","datavalue":{"value":{"amount":"+0.8096131682395935","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":"Q1582313$67A335D5-9108-441B-8D9D-32FBB81C738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0136ba771022afe1a1a65d2472f604d60be11eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef67facab5e411d6b2e95984a776bf769de609e","datavalue":{"value":{"amount":"+0.807876706123352","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":"Q1582313$D6D7F9B7-DA84-4403-8EA6-86577C4C7D03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order common knowledge logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_order_common_knowledge_logics"}}}}}