{"entities":{"Q2464651":{"pageid":2475394,"ns":120,"title":"Item:Q2464651","lastrevid":78709736,"modified":"2026-05-06T12:15:14Z","type":"item","id":"Q2464651","labels":{"en":{"language":"en","value":"Understanding the Brandenburger-Keisler paradox"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220709"}},"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":"Q2464651$5E2394B2-D871-4417-84B1-41CB01A9A630","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d7e96b8296c20837b4fef2dc8405f1dd057506","datavalue":{"value":{"text":"Understanding the Brandenburger-Keisler paradox","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464651$F0279560-87B6-4A2C-B4E6-BD9B55A19626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a881697cbcdd10f3d911dcbee57a0e832eb11df","datavalue":{"value":"1137.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464651$CE6BFA57-83E9-46B9-A736-6FDD0EE3AF26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a07388624fd094e4111988cfb74e07319aacce9f","datavalue":{"value":{"entity-type":"item","numeric-id":266654,"id":"Q266654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$C0527D9C-74B7-4E2C-8A07-BA4D00FFA096","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":"Q2464651$46880009-978A-47D5-9A93-05D1180C0120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-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":"Q2464651$FD28928E-4A0D-4EA0-A18D-4AC935ED571E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec16657bbfe2bbeea0fc216d37b3ab4c46bb9dcf","datavalue":{"value":"The author considers a paradox (recently discovered by A. Brandenburger and H. Jerome Keisler) involving the notions of an agent's belief and of an agent's assumption. Pacuit first studies this paradox within the semantic framework for modal logic based on neighborhood models. To this end he characterizes a formal language with two modal operators formally representing the above two notions, and defines a certain kind of neighborhood semantic models (viz., two-sorted neighborhood semantic models). These models will provide the semantic interpretations of the language. Next, the author considers the paradox within the context of hybrid logics, i.e., modal logics with distinguished propositional variables called nominals that are used to name each world in a Kripke structure. He characterizes a first-order hybrid language in which the two notions in question can be expressed, and formulates two-sorted Kripke semantic structures for this language. Pacuit shows that it is more convenient to study the paradox within this semantic framework than with that of neighborhood semantic structures. The paradox is shown to be a theorem of a tableaux system for quantified hybrid logic constructed by the author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464651$79DD44BE-D2EB-44D7-9C45-E116398F4A57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464651$E43510ED-CE53-482C-81E2-5E7D1D2A2665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464651$3F698EFC-62D4-4CC7-A8AC-A6B4D902469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1eb0154c424a004351cf55226db6d71466331447","datavalue":{"value":"91A26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464651$D5514EE8-BE59-4614-825A-898F7431869D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8e194675ecb6ffba05cb012eec62e2d7a243ae3","datavalue":{"value":"5220709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464651$4EE62570-2AD3-4BFC-9D42-DA777F6A008C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d655333fea2f12cb427119bd593dc277863b72f","datavalue":{"value":"epistemic foundations of game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464651$55480E83-6766-48F7-89CE-2BAEC5084C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464651$25AB0C6B-9D7E-4A06-AE1C-2A57DBCF97E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464651$6C9339AD-51C4-4724-BA0D-B228CC854DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63618575d1deb98d555ee908f50b7ccc8d778cf","datavalue":{"value":"belief paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464651$9070B961-0265-47EE-9C22-9E7D34822BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fca09ce33924c7694e478e0afab79a00092d35d","datavalue":{"value":"Kripke semantic structures for hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464651$7E3C69B1-4784-4F94-B150-0B43E53FD181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c690e60ee533519910eb068b3e141085575ad1a","datavalue":{"value":"neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464651$87C5530C-C77E-4807-83AE-3B26F48A3A76","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":"Q2464651$2C129261-56F3-4A5E-AC02-4AAF4556F46F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa75e14e6e3eeb6a26e3282733fb9422d5a6d8af","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9069-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464651$6DAE91E3-5344-4476-8BCD-209AF95E9C48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"176dc2fe77d66396e1d98372ebed9ac8622d5771","datavalue":{"value":"W2048877321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464651$32054C53-225B-4CBF-9E7F-0AB09438709E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4a2124b44917ed5af7608dc27b43c0e09bd31a","datavalue":{"value":{"entity-type":"item","numeric-id":1806326,"id":"Q1806326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$A264A442-8780-43E4-8D35-5DDDEEC89907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc5e622126ec3d570da92e5e13cb53e0d0ea06","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$690747B0-B4D2-458F-8017-6156BDEB41B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$7DF94CA7-8369-4E1A-93A0-EB36A0A2458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55c2df593d706f4e44c38aea2073c0b628114d8","datavalue":{"value":{"entity-type":"item","numeric-id":878162,"id":"Q878162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$7DA6CFAA-DAC1-4A6A-98AB-0A24FF78A2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75a6c92ce2609b786c59f001cb56a39f872d3de","datavalue":{"value":{"entity-type":"item","numeric-id":863184,"id":"Q863184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$1EF99136-2203-404B-A2D9-D3EE732D1900","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":"Q2464651$57401803-A473-4F34-A082-6AF9F91657CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$B74C1AC8-954C-4005-A757-E9BA919B3F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$F8C8DEE4-58C7-4C5E-B4FA-678CAD28AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3efaf7196a1042742f6796e8fe3994a0c6d9bad","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$ECD0A54C-2C75-408C-9211-A9B25D08C9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72edb121c150dd9457dc747422ae618185e02de","datavalue":{"value":{"entity-type":"item","numeric-id":5608606,"id":"Q5608606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$BEA1F112-0CA9-4160-9709-BB4B33A463D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946c2b61d0e1e3e0ee3291b3900511d4c515f079","datavalue":{"value":{"entity-type":"item","numeric-id":1097872,"id":"Q1097872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$8281BB88-D7A7-4061-8BF7-C93A8BE244F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$83F68F25-9FE1-4F2B-B02E-7E9C7D6BE266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$22801C79-1E4B-4FB0-B376-47FCE1F5BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$57F7FA9F-02D0-494F-9364-E12CC42D4FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46786c5612c9735ee12426a1b6217c2de2e117cf","datavalue":{"value":{"entity-type":"item","numeric-id":1296383,"id":"Q1296383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$BEEA916A-8334-4BA7-956B-419100B52251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93a175f58283ee0d265078832c51e2431288c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1242890,"id":"Q1242890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$0775C529-5311-401F-89F1-F8E8CC7696A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7156d460b304450faedca404c09696d73e13cd92","datavalue":{"value":"10.1007/S11225-007-9069-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464651$F905265E-FC7F-40A7-8F32-455736D89E76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d192c3f4b20c2572f5d9b48f004a62c7f3f941d6","datavalue":{"value":{"entity-type":"item","numeric-id":2341698,"id":"Q2341698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3db17cc618a19fa33d7315ed73740849b48a31","datavalue":{"value":{"amount":"+0.7515409588813782","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":"Q2464651$6427594D-4610-48A8-AA69-67EFC671424C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b80d61f20537bf28d1a8a79c3149de4748388f6","datavalue":{"value":{"entity-type":"item","numeric-id":4609354,"id":"Q4609354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d49b8a926ff10c426feb96c937343bab194182","datavalue":{"value":{"amount":"+0.7254091501235962","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":"Q2464651$ABF1A5E9-7C4F-4F1B-A155-DE7869F3A8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"419c27e85c30814bb2044b37d5b6d5cb5c712c34","datavalue":{"value":{"entity-type":"item","numeric-id":3655227,"id":"Q3655227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2307d85b287186d151a7b6af8816b9ed0295c3","datavalue":{"value":{"amount":"+0.7225505113601685","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":"Q2464651$947ADBDC-4869-4AD3-A149-EDF5A6769A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a409bd6cd7e51e0ab6e5dc7b6aba3a478c7a99","datavalue":{"value":{"entity-type":"item","numeric-id":5395250,"id":"Q5395250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9aa44889d74b792330622189eccfa3750bf9bd5","datavalue":{"value":{"amount":"+0.719079315662384","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":"Q2464651$A7984B56-24E2-42C9-BC6C-85DB3B049A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c92f3db22369e59af820314efcdef43135de00c","datavalue":{"value":{"entity-type":"item","numeric-id":863184,"id":"Q863184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1c6a7e0aabdcc8a265eb455354d9fdf0a9eaf2","datavalue":{"value":{"amount":"+0.7188898324966431","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":"Q2464651$B65CB23D-DBEE-4F4F-ACC0-9D99DB91E9EA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464651$F5C2BD6B-B4B9-4D08-A603-4606B86787B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding the Brandenburger-Keisler paradox","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Understanding_the_Brandenburger-Keisler_paradox"}}}}}