{"entities":{"Q1924326":{"pageid":1935068,"ns":120,"title":"Item:Q1924326","lastrevid":69316353,"modified":"2026-04-13T06:11:38Z","type":"item","id":"Q1924326","labels":{"en":{"language":"en","value":"The expressive power of second-order propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935224"}},"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":"Q1924326$8644A308-EA7F-4E41-8F73-091C0035563F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"341b04e06a6a3fe684993d480b8d78ee8240b7df","datavalue":{"value":{"text":"The expressive power of second-order propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924326$0AAE7168-8453-4ED1-B8C6-79246365886D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"500104a0b297f7bdc1cf59caccf8133159ca9e8a","datavalue":{"value":"0895.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924326$952EBEA8-CBAA-4CF3-940F-79159166501D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$8F7886C2-6157-4163-879E-F0A0AAC053A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32adfa54afa6514262dc1c8c78f6dcb5f5dd38ef","datavalue":{"value":{"entity-type":"item","numeric-id":1822936,"id":"Q1822936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$40B2C180-51D3-4E76-BF91-235B44DAC915","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$26CE18F0-3B9A-492D-BBE9-F66E2FAED57E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85171b31477ccf5017fba2f37fb974f96a858ac9","datavalue":{"value":{"time":"+1998-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924326$EBE6CA98-E2BC-41A2-9295-5549049D40FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30e93fe6b4c102f98ba7079b5068afe95d4252de","datavalue":{"value":"The paper considers modal logics with propositional quantifiers (such a logic is briefly called \\textbf{SOPML}), with ``platonistic'' semantics, defined according to \\textit{K. Fine} [Theoria 36, 336-346 (1970; Zbl 0302.02005)]. In the latter paper it was proved that second-order arithmetic is interpretable in \\textbf{SOPML}, provided the basic modal logic is \\textbf{S4.2} or weaker. The authors prove a stronger result, namely that in these cases \\textbf{SOPML} is mutually interpretable with classical second-order predicate logic. Also they reproduce an unpublished proof of a result by H. Kamp (1977) that \\textbf{SOPML} (for the same cases) is embeddable in Thomason's modal first-order logic \\textbf{Q2}, with quantification over individual concepts. Therefore classical second-order predicate logic also is embeddable in \\textbf{Q2}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924326$E75B1946-CEC5-4E80-A5BA-5133AE2949E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924326$A5FB3764-F6FB-4D37-9811-122D65302212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924326$1A1ACAD6-BB10-4299-A1C6-648E75DDE053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"577130cca08822ec009bbdd2c51e083ed8cae514","datavalue":{"value":"935224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924326$0EC52A18-4F8C-4C41-97FD-4D2ABA6FFE49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924326$7A5FEA48-F21F-4A17-A287-CEBC2DF88B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924326$413FC2B2-4155-4078-80C8-7FD56E48B98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd654d2e63851571793a72442b665e72832b3362","datavalue":{"value":"classical second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924326$AA0EA15C-8B0B-4C0E-8CF5-F38FB69D5F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3554b758566c130bc90a189e19f3a0829fe99908","datavalue":{"value":"modal first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924326$7CE9FE25-525B-4916-AED6-E6FDC46522BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d92c90cd4ef7263ad6fca29f0729964c362c8e74","datavalue":{"value":"world-relative domain semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924326$FDA29D6A-8A3B-41AE-97C8-3919DDAEC9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f504159dc810191f028f8d072a976ca819932f3f","datavalue":{"value":"individual concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924326$8E09AC34-ECAA-4813-9FF6-86730A9A984C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$39C9B21B-FA2D-4296-8284-A2221F741237","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":"Q1924326$D042AB88-3462-48D5-B105-75959B01E473","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26ba1967470cacc5ee36b0d9edca3ead2336a1b2","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040067314","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924326$308D5281-0851-4A3D-9C43-9B6CA08F2B53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f82a50cfc9b4fca870ffa671251bff1ded7d077","datavalue":{"value":"W2006418637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924326$D8B4B195-DCF2-40DD-A1C8-F19BB108DB0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$1B2ED291-509C-4394-8F12-0BC80250F1A1","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":"Q1924326$B4E7D210-89AC-448D-9C5E-F021D6F1E3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d501daa7fe5d15611bb528422c7f5b6313390c72","datavalue":{"value":{"entity-type":"item","numeric-id":1258725,"id":"Q1258725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$F6B7AC7C-AAF9-4E31-9E0C-DA642BC7C976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$4B621C08-24F7-4704-B248-A369C057E84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64040bbac50b384a31548ecb60a990ea2585409","datavalue":{"value":{"entity-type":"item","numeric-id":3663256,"id":"Q3663256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$BDFD059D-FDA7-4238-90ED-B33E687055DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a4bea75dde5fc87e575fdfc8567cbc4a9cea5","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$E1001DFD-71D7-4C15-99B3-3A91B8CF6F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$FD1C40EA-4C54-40DD-AD33-A3EC54FD7974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$668A06BB-07DE-4E23-948E-B4B7D88DE539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20ecccde96468f8d416323ddd7ddb6d537bc347","datavalue":{"value":{"entity-type":"item","numeric-id":5582311,"id":"Q5582311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924326$7FBBAEB8-E1A3-44D9-83E9-80FA63A7ACED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76928408d050e5c14b0906aad2f4d4ba84f90a27","datavalue":{"value":"10.1305/NDJFL/1040067314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924326$F956158D-7FD3-4DBF-B467-F763E1C7C8FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84281abe376273be77f245b0131b3a930663fe2b","datavalue":{"value":{"amount":"+0.9788351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$F33F83B4-A33A-45C3-BB68-801D77E97C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28eb7c4c69d36a7246716c7539d498dcb5a05b","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce73c9148d08658ce402e99823d98881a5e744c","datavalue":{"value":{"amount":"+0.9697729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$A9E27CE5-CF36-484F-B657-27D5D107EE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04dfee4ff66315c129c3d27c92b5afac529570b5","datavalue":{"value":{"amount":"+0.9348083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$C747FEAF-E76F-4526-95D3-C6F188652102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d694d106d84fc8e3bf7d7265726700e512ee2b5","datavalue":{"value":{"amount":"+0.9292597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$11F7DEC1-3AB4-41C5-A606-1B9955F07237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3453b38f771974d6c2f669a8a515fa2b53e5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3328520,"id":"Q3328520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8331d3df90df7925cccf99280021243b57318f3","datavalue":{"value":{"amount":"+0.91998905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$5581B242-B013-4882-A11D-EF83FC69F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97473340d0cf76b48d9635a8aef94637fa2b713b","datavalue":{"value":{"entity-type":"item","numeric-id":4779649,"id":"Q4779649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817a203c2c22fa648c26c6d7b9866569bbe33d97","datavalue":{"value":{"amount":"+0.917264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$AD75C07D-A55C-4811-B9F3-A8C0833CD909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0575e8cd63140b1de49413079ce356390e80bf16","datavalue":{"value":{"entity-type":"item","numeric-id":6042095,"id":"Q6042095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2eabcda02618edeec6dccf8b05363b17a39c70","datavalue":{"value":{"amount":"+0.9166219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$6D9210C9-0983-413D-9A32-7A80A20C4425","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":"838a47237019d58937091af7217109c75a733888","datavalue":{"value":{"amount":"+0.9160136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$6D9C56C2-8E5F-4E4C-854D-216986CEB46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f2746d16b0c128a39bb1a9aecb2a30e8d4d4eb","datavalue":{"value":{"entity-type":"item","numeric-id":4035693,"id":"Q4035693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6e5871369ea862c9182b0c2fe54c6116b58b80","datavalue":{"value":{"amount":"+0.91594726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924326$05956B2A-EAD1-437B-92E0-CE53F5366385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The expressive power of second-order propositional modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_expressive_power_of_second-order_propositional_modal_logic"}}}}}