{"entities":{"Q792997":{"pageid":794845,"ns":120,"title":"Item:Q792997","lastrevid":48702982,"modified":"2026-01-05T16:12:30Z","type":"item","id":"Q792997","labels":{"en":{"language":"en","value":"Some theorems on the expressive limitations of modal languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855064"}},"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":"Q792997$7B023481-6E78-4484-8153-AFA51BE2A0C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2993e0dbc0f158a0e9854bd18bc5815f4d8d6b1","datavalue":{"value":{"text":"Some theorems on the expressive limitations of modal languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792997$A8D50DFC-E4E2-442A-B08A-A4892352B9A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83f3cce4d7e804a24bb7432bc69f40bbf0b31bfa","datavalue":{"value":"0538.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792997$27702A3E-A015-4EEB-8CD5-3ECC8375727E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea33b29a6b631c36e05183e00bf4e0bf2444f71f","datavalue":{"value":"10.1007/BF00297574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792997$F7628119-F397-4698-B10A-98B19E83A385","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1bc37e6e094a826bbeabaa496f463e54be767b","datavalue":{"value":{"entity-type":"item","numeric-id":792996,"id":"Q792996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792997$C4E9A482-AA55-456D-AC87-629E3BCCA69D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792997$B85F2B0E-F4FD-497E-9AF6-31267987E444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792997$818CE764-0744-45AF-993A-98A446E47BB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6942927c842668f06f16983598d92a21b0168003","datavalue":{"value":"Certain interesting conditions on S5-modal models which are easily expressed using overt quantification over possibilia, are not expressible in quantified modal languages under the usual Kripke semantics. (E.g. ''There might have been something that actually doesn't exist''.) Several such results are proved by characterizing the set of sentences true in all models meeting such a condition and then constructing a model for that set not meeting that condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792997$343FD289-0897-4A62-B0EC-D3D94F1C3683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792997$4A14D30D-5544-48C8-90C5-B589E540B456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d28850b8a79d06d4e5c5a334f8d9a5c2ddc933b4","datavalue":{"value":"3855064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792997$8BC73954-2F39-4007-B735-4E088BA86F57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q792997$7534F9AD-4719-48A4-897F-236121B12AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b67bd83b9f347f8a9452e213742c50e4b1efec3","datavalue":{"value":"necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q792997$13418F70-1636-49F9-83D6-DE77334C6A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1102df33c2f91cbc70c4a4bb16cb12d66147f680","datavalue":{"value":"Henkin construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q792997$2ADB7B90-4740-4243-829D-8F466BEE6301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q792997$98A5C468-9B24-455E-9969-3F708830CE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8df961e7d8423b0aa46efcc14546cb721eb7f343","datavalue":{"value":"modal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q792997$F3190FD6-11F1-4723-835B-E587CBB7FE90","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":"Q792997$2018A272-C3C2-46CF-9D61-2D7DA5F96A75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792997$863C44AC-84E1-4D87-BCB6-E49A0A12C373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d95fd08b286c2d75935da3bf6ece957a863d65","datavalue":{"value":{"entity-type":"item","numeric-id":1245107,"id":"Q1245107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792997$25BD2122-FD53-468F-A5A0-185F76C228D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45e17441fe1475c2ed95fb2159c5225af60448d","datavalue":{"value":{"entity-type":"item","numeric-id":1233866,"id":"Q1233866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792997$BDAE92F0-99F3-476C-B660-4568B1222ED2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07a030cbb7ed97b9c1911ae73d7bb8b79c87f9f1","datavalue":{"value":"https://doi.org/10.1007/bf00297574","type":"string"},"datatype":"url"},"type":"statement","id":"Q792997$3CAC8700-F81C-458C-B42D-FF5BCE003F62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1920f478cc4f6a7804dd2af21551ec19366c40b","datavalue":{"value":"W2033774694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792997$44F2AD0F-6EF7-437E-892E-DFB96F2FA7E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15574da519ebdc2bd1c0131a137cd80dc3b19eef","datavalue":{"value":{"entity-type":"item","numeric-id":3457704,"id":"Q3457704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7391d0ff4f257b7756c4b3b4e062247804da0ea","datavalue":{"value":{"amount":"+0.7826732993125916","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":"Q792997$FB78229E-881E-452C-8DF4-C988692A616F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349492e9c21bab20124b8ce8043cf3770ae0a2f4","datavalue":{"value":{"entity-type":"item","numeric-id":801894,"id":"Q801894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a06d58fb4f682086393008137ea3939635ba0d","datavalue":{"value":{"amount":"+0.7815722227096558","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":"Q792997$95CCA09D-1C02-46E3-B9FB-BD1D6464B615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cd5ce59eed1108bb12ec39545736a21361fbc3e","datavalue":{"value":{"entity-type":"item","numeric-id":1670490,"id":"Q1670490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8510d764c061d38a36c6ed63c89686005e44627","datavalue":{"value":{"amount":"+0.7784783244132996","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":"Q792997$D371215E-805F-4744-B896-A51B30108379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dd322cc81e46630f6885d266721455dd7bf193","datavalue":{"value":{"entity-type":"item","numeric-id":2218707,"id":"Q2218707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a272a74d7575b8d8e5d4a07225d200c06d75699b","datavalue":{"value":{"amount":"+0.7742195725440979","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":"Q792997$926BD183-D2FC-4E10-B365-BCDAFB844C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a676162e9ec6f3e378a38ff63fe4aa1a8f94e33e","datavalue":{"value":{"entity-type":"item","numeric-id":792998,"id":"Q792998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d037e58e491bff8194648a10f47006e123365596","datavalue":{"value":{"amount":"+0.7722916603088379","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":"Q792997$EA802144-C277-41F2-B9AE-FFFB2DB2DD01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:792997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:792997"}}}}}