{"entities":{"Q1868490":{"pageid":1879232,"ns":120,"title":"Item:Q1868490","lastrevid":71020035,"modified":"2026-04-13T18:57:41Z","type":"item","id":"Q1868490","labels":{"en":{"language":"en","value":"Elementary definability and completeness in general and positive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901542"}},"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":"Q1868490$2C8E27FB-6A41-4B51-B35C-66A9E63A4ACC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57e5c7201a2fde5be8ac707e42cfa13b9de3664e","datavalue":{"value":{"text":"Elementary definability and completeness in general and positive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868490$14452ADF-AF68-40CB-93B8-3CE527DEE3C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d348929ae4b5b51a2ce901452ee286b2d4df937f","datavalue":{"value":"1027.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868490$4A8188BD-34FB-4043-99D4-8F504F586F41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9b0cc64cb9a3eedfcf7f0effc5782691286ec4b","datavalue":{"value":"10.1023/A:1021189103204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868490$29A2C616-23B2-4264-86AD-F9640598181B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731bbd863e426c881575785bf5fab09d2fd3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1005978,"id":"Q1005978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868490$FCDABDA7-6CCD-44E4-950E-8FA454CFF1C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868490$E2A0D2F3-BD9C-4B3A-8E76-D96F6A636354","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868490$13A13BC2-814D-4714-98E4-57EA5CC98BEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbdb35673ec65ed3b7d8d179c4171722e57a3cc7","datavalue":{"value":"The author considers, without any particular motivation, a negation-free `general modal propositional logic' where the modal operators \\(\\square\\) and \\(\\diamondsuit\\) are independent from each other and implication to the falsum does not define the classical negation. Thus, in fact, the paper deals with a fragment of the bimodal language with two independent modalities. It is strange why the author has not made that explicit from the notation, that would have avoided general confusion and would have made the paper more coherent. The paper contains rather straightforward (yet, proved in detail) and well-known results, incl. axiomatization and completeness of the basic normal logic of that fragment, as well as first-order correspondence of the Lemmon-Scott formulas and canonical completeness of the logics axiomatized with them; all that re-done again in the second part for the `positive modal propositional logic' where the falsum is omitted. A final remark: the author emphasizes on several occasions that his results do not use second-order logic or general frames. In my view this is only of very limited interest because of the weakness of the considered fragment.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868490$EB800AE6-6A49-462F-BD65-22618281B756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868490$A75E68D5-2469-4B2F-BE91-09C5BAAD32B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99af2a0e6ed2d1540b81db5db81a6cb0079fdeb3","datavalue":{"value":"1901542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868490$ECE3ED2F-168A-4F1B-BFE9-903A2FF248D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868490$EAC79371-D9BE-4A99-BFDA-858717010EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29be9b1e6959e16689bfdefeff0c234003806f93","datavalue":{"value":"positive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868490$ADCCD62C-35AE-4F45-B8EE-5725BB9C9F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868490$145E1917-2342-48E1-AD06-865A924555FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868490$71817D2A-3739-4F35-BE5D-F6B97A003935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7858705340b053d9b7532a69296315dd498ba2b1","datavalue":{"value":"Lemmon-Scott formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868490$BECED75C-3250-439E-8B77-3B32EFDB6886","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868490$DC02E182-AA33-48FB-9A19-1866F01AC5E3","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":"Q1868490$70E9E695-8F30-4D0C-B4A6-639BE5A51CD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"323ce46bbcc42478bc9bb6ab3da53d3c97ab2da3","datavalue":{"value":"https://doi.org/10.1023/a:1021189103204","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868490$836261D7-2598-4966-A6EB-233360F9F7B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cfbbb7f625e1aa311d7a56396b25fe622062b72","datavalue":{"value":"W1556480317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868490$DDD80EB7-663A-453F-B655-3849BC2144AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f79898ee459935eba972eed08296ee37c90f89","datavalue":{"value":{"entity-type":"item","numeric-id":5277903,"id":"Q5277903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ae8048a7c7476275a88a0fcc177c35fd3ed258","datavalue":{"value":{"amount":"+0.92236114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$8B3B232E-20AE-4EAE-9CC0-56649E8699DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22986b1a23beb9bec00c75bc2033b8eedc90fe2b","datavalue":{"value":{"entity-type":"item","numeric-id":3999881,"id":"Q3999881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0928b8ba325fedc1850ce0b2ba3afe59d43ef50","datavalue":{"value":{"amount":"+0.92067033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$32DB89D4-6328-4BE4-AB22-BD362FF18AC0","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":"e300ddb272dad638af1cd2081c5c476fa9b2cc24","datavalue":{"value":{"amount":"+0.91468894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$4CF9BFC8-1EF9-42A9-8335-3043D0950A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70d3c839f14c478698e7a7ece4eac79dea1a8e7","datavalue":{"value":{"amount":"+0.9131635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$7EC34CE0-0789-4AF1-A45C-C058BE3FFF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31b0dbb454505d2a45dde5949ba09b184f05e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1819a85d1af449c6d320bc4b1c996beda230fa5b","datavalue":{"value":{"amount":"+0.91195333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$940C590B-9F9E-4109-8D95-C55458AD5C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e443bdf35439f30dfedd070bd1642e96585b35","datavalue":{"value":{"entity-type":"item","numeric-id":2986825,"id":"Q2986825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8aada8b760bc677d877aa7801f0751e4249671","datavalue":{"value":{"amount":"+0.91077095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$8B17AF8A-6B12-4FF3-AF9B-6715909A8990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a4eca28e7086cac90595df601d6bce3a0141e3","datavalue":{"value":{"entity-type":"item","numeric-id":5419871,"id":"Q5419871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88bab8d17bc4677618e7ae63da8fb3eea25d1f65","datavalue":{"value":{"amount":"+0.9105352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$8680732A-5D46-4827-870A-31E5C6F39E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54c00b7960d5a48ca1d48277b0f7a8aa708761d","datavalue":{"value":{"entity-type":"item","numeric-id":5411449,"id":"Q5411449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd716f10f1df2383cce67380dd150ef6fd07129d","datavalue":{"value":{"amount":"+0.90969706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$41F669D9-5E09-4564-B6DA-40852177A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf75dddf1e55f97004a67a2a3bfb202bc7691a8b","datavalue":{"value":{"amount":"+0.908503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$22E8E514-FD88-4225-9570-C3AAA8E65170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f73063f84374f4733dd11f5a193d1569ea8c07","datavalue":{"value":{"entity-type":"item","numeric-id":4532129,"id":"Q4532129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca428459741aacde62a92f781b536b1d57df4f5","datavalue":{"value":{"amount":"+0.90785474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868490$B4BA4700-E8BC-404B-82E5-28CF11E625F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary definability and completeness in general and positive modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_definability_and_completeness_in_general_and_positive_modal_logic"}}}}}