{"entities":{"Q2898469":{"pageid":2909194,"ns":120,"title":"Item:Q2898469","lastrevid":84937316,"modified":"2026-06-03T05:14:42Z","type":"item","id":"Q2898469","labels":{"en":{"language":"en","value":"Public announcement logic in geometric frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054487"}},"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":"Q2898469$4C53BFBE-9906-4B29-B4EF-5B209206FFF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4fa5498f609397a090150acd0455fbe0b94bd7e","datavalue":{"value":"1266.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898469$2529E03A-7ABF-4EF7-A959-ABE04A06057D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9ff1f8eb34b2870f9d1ed43ebc36fb94f4a6a4f","datavalue":{"value":"10.3233/FI-2012-710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898469$0B0F3E9B-963A-4A95-B16C-F4C7B6A732D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a33ce80f5467b00e4e331562b6d5229f064bc29d","datavalue":{"value":{"entity-type":"item","numeric-id":484904,"id":"Q484904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898469$E4C9122F-54D9-4208-923C-C96A4C195186","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898469$D66F6CE4-0C7D-4D1D-A7D0-94DF7BD78D38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2898469$4ED3C6DC-B9C0-4924-9D6F-F2535639A380","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2bf852e4986c54f55e2a0f5617f010b00fdfa77","datavalue":{"value":"https://arxiv.org/abs/1107.4935","type":"string"},"datatype":"url"},"type":"statement","id":"Q2898469$70799F43-CC4A-4E1D-BBC1-A6FA43657A31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898469$AB0E2B47-610B-484B-A05B-2ABCD20C2E91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17e8ab7835a7ebd7b2608b79268fe98314a229a4","datavalue":{"value":"6054487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898469$95916C95-C469-4558-8D30-1B5E83D35219","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898469$750DA5A3-F601-44CB-B242-FDDB2DB54AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898469$F951D78D-CB05-4DFF-BD40-96DD1A972A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f079d2f80c76bd6b053fb62a435981fd5cf32aa8","datavalue":{"value":"subset space logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898469$EBFC2F55-D6C6-4370-A10A-67B183EAC496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5cb45520c92ebb33dd5216be6f0c9c9536ee19","datavalue":{"value":"backward induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898469$89E4FD94-7A46-4850-B676-EC50A2B44367","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":"Q2898469$F4499AA2-899A-4E04-8158-86281837F4A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd1a9e9229364e754b0ae7c74ee10bd93296cfc0","datavalue":{"value":"W2112031712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898469$4573D32B-6854-48CF-A8CC-99BB89323D25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aebb51d7de1e21d6baedfdbded01dd793c660ec","datavalue":{"value":{"text":"Public announcement logic in geometric frameworks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2898469$F4F6B54C-BBB4-412D-8D2D-16801CDB4BE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b588bcc2af36592180037980a37c2b9cdbd58ea","datavalue":{"value":"Public announcement logic updates epistemic models by eliminating states that do not agree with the announcements. It is usually formulated and applied in the context of a Kripke-style semantics. The paper reformulates it in two different geometrical frameworks: topological models for modal logic (deriving from work of McKinsey and Tarski back in the 1940s), and the weaker and more recent subset space logics (of Parikh and collaborators). Completeness theorems are proven, with some further observations on update stabilization, backward induction, and persistency of formulae.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898469$6B6A3A13-984B-4FC5-9DD2-A2DAA7A1134B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898469$ECA6E5FF-0EFF-4A3D-9F7E-09D7251B5450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823acee2f305af7eb95111f96c1e186158166447","datavalue":{"value":{"entity-type":"item","numeric-id":3299575,"id":"Q3299575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76900902561101f5f2266e61b8654b884e1b3d1c","datavalue":{"value":{"amount":"+0.8616756796836853","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":"Q2898469$C548CAC3-0DB3-4A8C-BCAA-50420C67EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a71639f2b702d7a3605c55de3250c2b20de053a","datavalue":{"value":{"entity-type":"item","numeric-id":2936248,"id":"Q2936248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2628b81b99f0e6b7e7564637a2959e13451bb336","datavalue":{"value":{"amount":"+0.837975263595581","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":"Q2898469$CFC898ED-B703-4E84-87A2-73C855BC792C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c47374ca9f52475fd70b5293c1dc8e6b36be57","datavalue":{"value":{"entity-type":"item","numeric-id":2936247,"id":"Q2936247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57cd483cb175af0fd189c125a34e4c1eb8a357e6","datavalue":{"value":{"amount":"+0.8231298923492432","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":"Q2898469$9E8901C2-2688-460B-8010-34216D5C5AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76177def9108e564cec6808b454044158c2cb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2053358,"id":"Q2053358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f03f28ed3447f9f0b0828e776ca474750f25ca","datavalue":{"value":{"amount":"+0.8170777559280396","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":"Q2898469$F3F18923-9802-4A9B-BC60-89BDD48EF3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d82e621f87e573482516f2226357448623631a5","datavalue":{"value":{"entity-type":"item","numeric-id":5015398,"id":"Q5015398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5816733f90944b1b27ccb05ab2df78ebbdadb0","datavalue":{"value":{"amount":"+0.8157541155815125","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":"Q2898469$06DFDAE7-5829-48A7-B654-D851CBDD5C5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Public announcement logic in geometric frameworks","badges":[]}}}}}