{"entities":{"Q685541":{"pageid":687390,"ns":120,"title":"Item:Q685541","lastrevid":42641708,"modified":"2025-07-07T14:59:53Z","type":"item","id":"Q685541","labels":{"en":{"language":"en","value":"Formal semantics for mutual belief"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417432"}},"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":"Q685541$A17C7187-032D-4BBF-B460-C49A71FC6662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e233f31d188a39172af3fdf9e67dabb91f7817f8","datavalue":{"value":{"text":"Formal semantics for mutual belief","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685541$E2D30909-21C4-475C-B680-288A48D3F718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d866c134146805a5dd3dc30fd8c13db99796e3bf","datavalue":{"value":"0777.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685541$5F8FB365-068E-461C-B1A0-415543972062","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c91495aa57dcc6641a0e47ef244f4410bb6a2eaf","datavalue":{"value":"10.1016/0004-3702(93)90082-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685541$6880A15E-7700-4313-8DD1-E431FB8D1554","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68ffb705a9cbdfc0ed4539559521bc4ff8f43900","datavalue":{"value":{"entity-type":"item","numeric-id":685540,"id":"Q685540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$425C1018-CDB2-41E3-AC14-98C67E847A83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$B568806E-DABA-4411-BAF6-AB7D801B0C99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685541$3817780A-28BC-4467-BB96-C17448A2898B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f990949dc0676dbdd6ae9ac8c495bfee1ea940f","datavalue":{"value":"The paper proposes a formal semantics for a modal mutual belief operator, within a traditional doxastic logic. The truth set of a mutual belief expression is characterized as the greatest fixpoint of a monotone, continuous set operator. In this way, it is shown that mutual belief can be defined in terms of private beliefs and that, while its definition is in a sense circular, mutual belief need not itself be a non-well-founded mathematical object. It is also shown that if the logic of private beliefs is assumed to be Weak S5, the resulting logic of mutual belief is weaker, in that it does not enforce negative introspection.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685541$AAEB3D31-73BF-49BA-8970-020E7ACE94CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685541$A0619048-3F94-4EB9-834D-B26DF4727BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685541$DE0460CE-7F3C-483B-A930-818C1B8913D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685541$2F76FAAF-E778-444D-8BB8-AA299EBFFE6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81220ec866ecdb3704ee5ecdaaee301b78dcc5b7","datavalue":{"value":"417432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685541$8B9DB36E-4232-4578-B8CD-9BA4F6EB57CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604165afe21749d032e591f774478ea2bce00461","datavalue":{"value":"modal mutual belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q685541$31BD57C4-015E-4CC3-94EB-8BC844CF4B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418aa9467dade11737f711c082b5156d9159554b","datavalue":{"value":"doxastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685541$DD672957-9EEE-46F6-BE03-05973342CCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b61f34ae1dba7b3d75dbf3235fdf3261273a8ff","datavalue":{"value":"greatest fixpoint of a monotone, continuous set operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q685541$14A141C3-23DC-4DC8-9A6A-7E94B7A7B759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82fa3f8cf1c71838f03b7192fc7f89e01f8b7207","datavalue":{"value":"private beliefs","type":"string"},"datatype":"string"},"type":"statement","id":"Q685541$E62E4C66-8FA2-4150-BD67-BC28B90A713F","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":"Q685541$11FC35D0-FA6C-40CA-BC11-A5D0A8F798AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$FA0E4D06-1375-4F72-8072-6DCC26826AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$6ECE8D4E-A311-4FEC-8826-631F429D5A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$844264BE-1A52-41C2-BFE1-A91939F89944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$CC1708C6-8E78-49AC-B582-EBD1D5B53714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$698AA30B-5B84-495E-81D3-58AD16C8FC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685541$18485C02-F25A-43A5-847F-5C9EAE5067D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abf6039c06f7bf76f6eea1f70bebfcbfd5e4b557","datavalue":{"value":"https://doi.org/10.1016/0004-3702(93)90082-m","type":"string"},"datatype":"url"},"type":"statement","id":"Q685541$CE714E38-AF53-4C89-8B10-F88835398F0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"296350b123542801ee4971191b04882bd0365968","datavalue":{"value":"W1999417948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685541$64E786DC-86C3-4045-9477-6DC58BE7314D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39ee7fa3c095f7acdef8418787dc118f7b2ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":4935597,"id":"Q4935597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ef9453f51ad0b541d748a0d2e2e85cf337edca","datavalue":{"value":{"amount":"+0.8949979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$4F200119-68D9-4424-A62B-FCEAB8828D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09485f1a8b7cff316510ac5dc5b9ca7be2150df4","datavalue":{"value":{"entity-type":"item","numeric-id":5283796,"id":"Q5283796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae53c316b0c2e6a800b9321d1e9117453749919","datavalue":{"value":{"amount":"+0.8930607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$EE704F12-8BCB-46F3-A0FA-9475677CDACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93706e9b9c2b71e204d13cfea8f60fb78caeed7","datavalue":{"value":{"entity-type":"item","numeric-id":2075282,"id":"Q2075282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a60e62c0e5d19864eccecc32eac30288cdbcc31","datavalue":{"value":{"amount":"+0.86963946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$CCF61CC2-AD21-49CB-80A4-489303B9BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5832ead8aaeec51edd0be402f5c7dca67f6692a3","datavalue":{"value":{"entity-type":"item","numeric-id":4999277,"id":"Q4999277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4226ce78968469880533a1501073390ca2591f16","datavalue":{"value":{"amount":"+0.85950446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$E49B11AC-2B84-4F79-8C94-E4A15D1B85BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03332436084c70a41cab1120643c593a27ab6312","datavalue":{"value":{"entity-type":"item","numeric-id":4835514,"id":"Q4835514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e857b1cddf130fcfa1ae7138734859f651f12c","datavalue":{"value":{"amount":"+0.85935336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$5D6E5313-7A02-49C6-85D8-0FDA33403AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3044358064642f9e5557741bc4f29fa37c8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537432,"id":"Q4537432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2691498b1a76dea9bdda6760d7c089a0b635ad","datavalue":{"value":{"amount":"+0.8593532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$4E877B7E-E930-40F8-9BBD-33F288981AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083296044591509846788213e253d4b1e01b244f","datavalue":{"value":{"entity-type":"item","numeric-id":3985987,"id":"Q3985987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12959fa85ea057216f236f7e088d22af96120855","datavalue":{"value":{"amount":"+0.85253024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$922E4BA9-9306-49FF-9F76-195054F2343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d2722a1a6333f8b08bff242454cc2157057610","datavalue":{"value":{"entity-type":"item","numeric-id":1776195,"id":"Q1776195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a772eee09daab512ae2c3ce49c5dc4b918ae854e","datavalue":{"value":{"amount":"+0.8486588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$5C3DB971-F37E-4923-AECF-78CB3CBC4AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87ca9a6668af6f858bbd6f5392fb6ac19cb6229","datavalue":{"value":{"entity-type":"item","numeric-id":1377482,"id":"Q1377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e123edea47d30d065b074681b2c1044b2271df86","datavalue":{"value":{"amount":"+0.84835154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$9CF1458C-3F9B-43A5-9878-84CEBC672FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4f160ef0198b60c3a5d0c0972425c384737755","datavalue":{"value":{"entity-type":"item","numeric-id":1818006,"id":"Q1818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd12b63a5871a0086686f49728c2d7c21582bdce","datavalue":{"value":{"amount":"+0.8474233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q685541$5758E77F-08E3-44B4-A2FC-F0076E8AED57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685541"}}}}}