{"entities":{"Q361870":{"pageid":363637,"ns":120,"title":"Item:Q361870","lastrevid":61286091,"modified":"2026-04-10T22:22:54Z","type":"item","id":"Q361870","labels":{"en":{"language":"en","value":"A note on bisimulation and modal equivalence in provability logic and interpretability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199441"}},"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":"Q361870$8C73BAAE-28A6-4013-ADCA-4681C9C54A28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d233e82588ae1eb51c7603d788337cb0ea96a0e","datavalue":{"value":{"text":"A note on bisimulation and modal equivalence in provability logic and interpretability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q361870$B4A5761F-0059-4383-9F41-48DD8B2521C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff3d04beeaa9e0166960257be53f1a73d9813cfc","datavalue":{"value":"1298.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$CB8233C1-B8A2-4C91-B09F-D776ECB64EF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fbedcf5dbd70d2cbfc902731862a2b2a8291b9f","datavalue":{"value":{"entity-type":"item","numeric-id":361869,"id":"Q361869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361870$7612CC1C-FB18-45B2-8DEB-13D1D9942713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed7c1aab7f61881b9ebf54750dc681b17bb0250","datavalue":{"value":{"entity-type":"item","numeric-id":269724,"id":"Q269724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361870$1B2B37D7-7C31-4E81-9281-AAF7A027CEEB","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":"Q361870$39D410D6-5311-4397-9E67-293702817166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q361870$F2A4840B-1BCB-4D97-8410-667C225EECBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08e0ca58328d42042eb0d98ac430c270d12f8399","datavalue":{"value":"Interpretability logic is a modal logic for studying interpretability between theories. For detailed definitions see, e.g. [\\textit{A. Visser}, CSLI Lect. Notes 87, 307--359 (1998; Zbl 0915.03020); \\textit{G. Japaridze} and \\textit{D. de Jongh}, Stud. Logic Found. Math. 137, 475--546 (1998; Zbl 0915.03019)]. There are a few semantics for interpretability logic. The basic one is Veltman semantics. \\textit{A. Visser}, defined [in: Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 175--209 (1990; Zbl 0793.03064)] bisimulations between Veltman models. In the paper under review a counterexample for the reverse of the Hennessy-Milner theorem for Veltman semantics is given. The authors use games on Veltman models and prove the basic property of games, i.e.\\ the winning strategy for such a game is equivalent to picking out a bisimulation between two models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q361870$20EA83B0-616F-4F3E-AA90-8820C2639060","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361870$E3EE806E-32E6-41C2-A159-4EBDF6326B70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$16BBADE9-9D2D-4D64-BDB4-1BE1349CC834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$4BCEB24B-D275-4452-9F0F-E8B7D2CD851A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$CA670610-F006-44FA-815B-A96CCB783A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$1845BB31-1716-4B92-8186-F8331FB88C4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c2bad282bfcd43c2a22f686470a41deb875be1f","datavalue":{"value":"6199441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$E3D81D5D-6AB7-46BA-8843-63E5E40ABB5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q361870$F55A898D-91BB-4E7E-B23E-BD91197E1231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q361870$77AD59F7-C4C4-4C41-9814-AA27A6202F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce0891b904e538242be9e9613227625b59ad8fa","datavalue":{"value":"GL-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q361870$CCA1BBD3-D873-4A8D-B48B-153B2B9D1BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ca3f35911ab8dbbf0b25e7edb55e36f49ba01","datavalue":{"value":"Veltman models","type":"string"},"datatype":"string"},"type":"statement","id":"Q361870$055C71E8-ECBC-4FEF-9217-EDF8BA22104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q361870$C39AA40F-396F-455D-BC9A-AC7467780B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931c0bdc35bfbbe94df28d09af431c04a5d69eef","datavalue":{"value":"modal equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q361870$F9746E19-E381-422D-B8FB-A9BCD65022B1","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":"Q361870$4448A2D8-DF3A-4DAE-91E3-504574F80945","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a724b58d3ed33a3af1c953a9958ca975a37c339d","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9366-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q361870$58059863-92F3-4918-899A-2B70D496FF07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"261fec101ca0e8ef443236e53a3edbd3160c1965","datavalue":{"value":"W1986264857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$856059E7-8F76-472B-8E30-424D80647CA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361870$A63C0CAF-6977-41E2-AECF-8702371B3811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361870$83E3629B-91DF-4151-917C-5715BFBBB70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361870$AE7EDF1C-5D34-412D-BBA8-F2C19B20881B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8601c7b536d3d31ff2f232f17b1db11a7259ff","datavalue":{"value":"10.1007/S11225-011-9366-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361870$D0F62522-F663-4C85-A4D9-470995A18770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec1e24438d23ed7a58b6d43f280b6194b5e092","datavalue":{"value":{"entity-type":"item","numeric-id":3520227,"id":"Q3520227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc61e7950ce6475f7669fea237c6bc9ef4fc68dd","datavalue":{"value":{"amount":"+0.8430532217025757","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":"Q361870$82C271C0-BE5F-48AD-A85D-4429C0E57077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebf347d28a0b3b15aa1c28a7251c53de976f707","datavalue":{"value":{"entity-type":"item","numeric-id":3061279,"id":"Q3061279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77b4e75971dacbab79a8e08a95842b551a87ee9","datavalue":{"value":{"amount":"+0.8238899111747742","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":"Q361870$917960EE-4878-45C6-B126-315FD627F1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2e551067478759c84760521eaefea77b4cd158","datavalue":{"value":{"entity-type":"item","numeric-id":3435248,"id":"Q3435248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c87563ded9215ad5804fa05bf15d6b5adc546e4","datavalue":{"value":{"amount":"+0.8225930333137512","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":"Q361870$425C58D7-1529-4762-AFC2-884E99617544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a24bba9006dda7c932a2c0ec6531082cb0474f1","datavalue":{"value":{"entity-type":"item","numeric-id":2718477,"id":"Q2718477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c74f2c8373d8e29c557376104a0cfcac3c05e4e","datavalue":{"value":{"amount":"+0.8036160469055176","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":"Q361870$A8662F7D-E5C6-4EFA-A5E4-7BF730DA1B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a21ed7bb119413dab32d130d1b9d8f4858cb80","datavalue":{"value":{"entity-type":"item","numeric-id":4644496,"id":"Q4644496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a59a9f2c3e2d1511a7f6b47cf9d5a524947dde6","datavalue":{"value":{"amount":"+0.7833771109580994","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":"Q361870$76747EE3-8A14-4706-9782-95E23E869966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on bisimulation and modal equivalence in provability logic and interpretability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_bisimulation_and_modal_equivalence_in_provability_logic_and_interpretability_logic"}}}}}