{"entities":{"Q763328":{"pageid":765177,"ns":120,"title":"Item:Q763328","lastrevid":64149678,"modified":"2026-04-11T17:58:07Z","type":"item","id":"Q763328","labels":{"en":{"language":"en","value":"On the modal definability of simulability by finite transitive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013484"}},"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":"Q763328$78C1BD73-A8DB-4F66-B348-6F92192A575D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad989282610e711eb03d67e43badebc6276cee74","datavalue":{"value":{"text":"On the modal definability of simulability by finite transitive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763328$6AAAE6B4-DA27-4F1C-A1A0-8DC76CF3FF79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e454389cc5554d5271c0fcb3be413a33d47e326f","datavalue":{"value":"1246.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763328$C56EE542-9D4A-4C64-97A2-10E59210FC26","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":"Q763328$CB027BC7-E72F-4DB6-A331-F426A65164E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763328$B1E945A5-6B27-40EC-8B8A-E9739904C975","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"927eb26f50f1515e0d1c384682375910b68b48e4","datavalue":{"value":"Given a finite, transitive and reflexive Kripke model \\(\\langle W, \\preccurlyeq, [ \\mkern-3mu [ \\cdot ] \\mkern-3mu ] \\rangle\\) and \\(w \\in W\\), it is shown that the property ``being simulated by \\(w\\)'' (i.e. lying on the image of a literal-preserving relation satisfying the ``forth'' condition of bisimulation) is modally undefinable within the class of \\({\\mathsf S4}\\) Kripke models (contrary to \\({\\mathsf K4}\\), which is also proved). A minor extension of the language by adding a sequent operator \\(\\natural\\) (``tangle'') which can be interpreted over Kripke models as well as over topological spaces is proposed. In the extended language \\({\\mathsf L}^+ = {\\mathsf L}^{\\square \\natural}\\), being simulated by a point on a finite transitive Kripke model becomes definable, both over the class of arbitrary Kripke models and over the class of topological \\({\\mathsf S4}\\) models. As a consequence it is obtained that any class of finite, transitive models over finitely many propositional variables closed under simulability is also definable in \\({\\mathsf L}^+\\), as well as Boolean combinations of these classes. From this it follows that the \\(\\mu\\)-calculus interpreted over any such class of models is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763328$210CFA9D-FD12-4629-9724-1E2F962B6F2B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$51429C3F-43B2-44D0-B185-DD96F9BFF357","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763328$AE59AF8E-5DB4-448D-99B0-D342FAC77AF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61e76ef6828ac27cf19e0105c88779c5d3c2046a","datavalue":{"value":"6013484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763328$BEFAE77D-F422-4E80-AE89-A7049DB66E45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q763328$E6D6EC91-F3E5-443C-A4B7-8D152DC10FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q763328$CB225762-9982-4A23-8DD9-443F7013F8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4804557093b5cb1345c504237ed0df4437aa32","datavalue":{"value":"decidability, mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q763328$E3A3D3B7-2420-4EA1-9805-283CD3650B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q763328$300A8F6C-BF35-4FF4-93EC-3C95DB394F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q763328$8A4EB2A0-4633-48DC-B400-CA7FAC8D4B75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$9FBFF377-7A9D-414B-8C25-574CF9787499","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":"Q763328$6D2B0DE8-E899-407A-88B8-61F1D6AE3729","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"059fadb941927b5f73595b1901c1db6d875043a6","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9339-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q763328$1682374A-3D29-4A3E-AE1A-F9BA58A8ED14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"362cc33d3e6e4cd129706b12c31382a6d73d923e","datavalue":{"value":"W2003311901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763328$F52CE27B-4CAD-4600-8E1E-05ECCA9E0987","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ff6be0ee851ae6469e96174d91ec8bba468fac","datavalue":{"value":{"entity-type":"item","numeric-id":3367295,"id":"Q3367295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$209F45C4-2862-4A57-94FA-E3499EFEE17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$16304976-18CD-4C28-BCD4-E9BFCA78A89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a9eb08fc90c83f2b9f9e481072b744228123b0","datavalue":{"value":{"entity-type":"item","numeric-id":1267083,"id":"Q1267083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$BCD9DC59-6B14-4F10-BFCF-12ABE6BEC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$4F3924E1-0C2E-4B12-B985-4271101D8584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14ae17601282df8b6c72874052615f19213005c","datavalue":{"value":{"entity-type":"item","numeric-id":4127028,"id":"Q4127028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$0D7339C5-6116-452B-83E6-AF4C67A6FDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$29970116-7448-48B3-B496-63B617DDBDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731ff9800386501b744ac092b83667376e81a9b3","datavalue":{"value":{"entity-type":"item","numeric-id":1006607,"id":"Q1006607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$8E5C9356-6B47-4FEF-9701-623DCF051AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3725f98177c3381a3638b1e83ae17578a0b12efe","datavalue":{"value":{"entity-type":"item","numeric-id":2503403,"id":"Q2503403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$4FDFD6DC-4B87-42D2-9526-1C05998DB6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$A0280476-5F31-48EA-A44F-473800F731E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$19134BB3-A82D-4EE4-ACE2-E640A074D9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$831BDE96-0E52-42FD-BF0C-83C7F36C1F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763328$0E605DCC-4ABE-4E68-96F9-560573A485F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e66c7698552586ee6921fbf8e63bfae216ff66cc","datavalue":{"value":"10.1007/S11225-011-9339-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763328$1227F41B-932E-4922-9302-F747A981C6EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe9d92ea9faa7a7c247b83470590b5f7cb48217","datavalue":{"value":{"entity-type":"item","numeric-id":714726,"id":"Q714726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343cdbc6b8ad1f3bfb494414a67cbe8558580a2d","datavalue":{"value":{"amount":"+0.7831392884254456","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":"Q763328$E487A12C-3693-4DA5-B5C2-92CE4549BE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b005e914d0a2e0c8ad820d5af12a3b7e4edecb37","datavalue":{"value":{"entity-type":"item","numeric-id":5200467,"id":"Q5200467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa9b4c7e5044442451f79c19066588a3b4acdbb","datavalue":{"value":{"amount":"+0.7693058848381042","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":"Q763328$3B0E46AD-0512-4FE4-A93D-A42B94536EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4445885f5256b80ce792d1beefadc3e4e6564ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3092294,"id":"Q3092294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11e792dafca89a62a25bf25a2ebc46134304ad1","datavalue":{"value":{"amount":"+0.7642198204994202","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":"Q763328$367987D3-614B-4FAC-B3C0-829FB5D4C483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8644a4dd388e166658c76bc2ad40333776403","datavalue":{"value":{"entity-type":"item","numeric-id":2958545,"id":"Q2958545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb8fbb5fb1fab0db726b637d382715b31ae21ef","datavalue":{"value":{"amount":"+0.7575146555900574","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":"Q763328$488CEF1C-2732-4896-918C-AAFDD5836033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f3927c4a0aa9b2147c3023fd5ff202425fae17","datavalue":{"value":{"entity-type":"item","numeric-id":2939298,"id":"Q2939298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc653145c1125a0d9f753ec5c005ac1a9a9addf","datavalue":{"value":{"amount":"+0.7564098238945007","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":"Q763328$6AEBC7B2-98A0-491C-8A44-3501617B7F64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the modal definability of simulability by finite transitive models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_modal_definability_of_simulability_by_finite_transitive_models"}}}}}