{"entities":{"Q1368753":{"pageid":1379493,"ns":120,"title":"Item:Q1368753","lastrevid":68825889,"modified":"2026-04-13T02:19:13Z","type":"item","id":"Q1368753","labels":{"en":{"language":"en","value":"Canonicity for intensional logics without iterative axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067937"}},"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":"Q1368753$E3DA38AA-C530-4185-8D85-4F625EC9F933","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06a52f8a82b833a929d7a0cfefe5b04492e55d41","datavalue":{"value":{"text":"Canonicity for intensional logics without iterative axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368753$163C9E66-2472-4F9E-9D23-DF7FD38DDF37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8b649b1a96e4c00fafbc5dce72feef99317bf79","datavalue":{"value":"0886.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368753$CC906693-E9D4-43DF-AC06-88F85F1D6D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41f4af99e3e6ae07fceff9389db8fff99c1e477","datavalue":{"value":"10.1023/A:1004201429142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368753$38176E85-C9C6-4DA9-B092-8267972257D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f2e912dfbc872e120cd338a74ca5db040889515","datavalue":{"value":{"entity-type":"item","numeric-id":923064,"id":"Q923064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$DA9B8F16-D64F-4525-9048-27492E73429C","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":"Q1368753$440C3817-26E4-42EE-BE39-A38910C2CE9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d250258e50f25ba7a5c107932b647b4e128b8c9c","datavalue":{"value":{"time":"+1997-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1368753$4F059D45-914A-4FF1-9A4F-C9B7F86028E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f98a20a827baa1e96b4dde803056525daae16499","datavalue":{"value":"A non-iterative formula of modal logic is one in which no modal operator occurs inside the scope of another modal operator. It has been known for many years that intensional logics axiomatized solely by non-iterative axioms have the finite model property, and therefore are complete. For normal modal logics the author points out that known results entail that all such logics are canonical. The present paper extends this result to all intensional logics by considering neighbourhood semantics in algebraic form, and establishes that with a suitable definition of canonicity for such semantics every intensional logic axiomatized by non-iterative axioms is canonical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368753$1C46A946-2A9F-4A9E-BEF4-2B53F31504AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368753$FDF807D3-C6B5-44B6-B106-A68F73A1BD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368753$4E9E2BEB-2350-476C-9203-1F0DD1DE774D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54e55a141d295643de03187174e6d423a96af36e","datavalue":{"value":"1067937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368753$ACB65A24-1658-45C8-87E8-EF0C1054121F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368753$7BD7FD1E-A5C0-40A3-8E21-1F7DF2170CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368753$9D75E972-BF23-4812-87B7-656AE7757F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368753$D3074F98-3CF3-40CE-AB99-75A6F45A9798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368753$7549E19E-ED83-45A7-B1E0-B51A03B8F915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14aef2bfdc913138dc86c4b3dd02d031a6ed4de6","datavalue":{"value":"non-iterative axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368753$9293B712-BA62-4144-A17A-874FA1CB2F2F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"524cbaae85cf29ba153b4f70ab9a63b301ab823b","datavalue":{"value":"Q114652423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368753$3104A8E2-3AEC-4E27-9B00-AB0A77BADEE5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed4c52c97ede8269ca417792eb0c307e0c83ac2e","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$C6687A16-5A9D-44AA-9B73-5A455A83AF6E","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":"Q1368753$DE5031E6-80F3-402A-837A-0AD046C8F205","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2b2b4b4f1a92baf1f6a56d683fcf7f04e7ec66","datavalue":{"value":{"entity-type":"item","numeric-id":3318752,"id":"Q3318752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$6AE8C444-4BC9-4295-AB7A-094D9A71A3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$060334D0-FAA3-4F40-8B8C-D35A300EAADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a3020d6f274e29d0c2ddd6aecdf60351568231","datavalue":{"value":{"entity-type":"item","numeric-id":1924324,"id":"Q1924324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$34A3653B-5E8A-454A-AA60-BC358BCC0266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2bfe72e8d3cb7f439a24d8b4eff81d7a1c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$A3CC14FC-A714-44B7-8683-C6D739E2FCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$8E5636B6-718A-419D-BAD4-610A18CD51A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88b0926bdea90c149165a0b0934713a7ccfdbff","datavalue":{"value":{"entity-type":"item","numeric-id":4116429,"id":"Q4116429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$563F8BA1-A091-41CD-BBDB-316DF1017E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2703cb77dd8722d0175399b2ea41ce1444db2497","datavalue":{"value":{"entity-type":"item","numeric-id":4088790,"id":"Q4088790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$9A1F989D-6475-4135-9156-FAC055FC2325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504b2d7c9a35283762422f31211bcacce81e8086","datavalue":{"value":{"entity-type":"item","numeric-id":4071209,"id":"Q4071209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$387E61EF-E416-4B5A-B97B-4E2311CC5325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40448f8bcd17cd48ba0e3efd90b4615c28489680","datavalue":{"value":{"entity-type":"item","numeric-id":1224086,"id":"Q1224086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$6BA78D56-3A3B-4838-98A4-8AFD7331A769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$336066B7-FAEC-40C4-8C98-C5574F37EEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d20630b0bd7dc58b969242e7c24eca5d6be14","datavalue":{"value":{"entity-type":"item","numeric-id":3984429,"id":"Q3984429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$FD996E0E-D6B7-4A2E-8F69-CEB07F4F1BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e5deaf7277eddb6b7adb1ca55d5134bc8ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":1213437,"id":"Q1213437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$B28BBB44-41C3-43C9-9653-8B6DA02CA799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7343ab1195f6126e4869226c0865a044960ee532","datavalue":{"value":{"entity-type":"item","numeric-id":3698777,"id":"Q3698777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$8767DBEA-6D7C-4379-B195-159B57CC46C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$1654F460-EE2E-4D49-9D5B-195B61B6714E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3100c806b24e474fe9b6e5cd6369626c2f1026","datavalue":{"value":{"entity-type":"item","numeric-id":4032660,"id":"Q4032660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368753$EA291826-2B8F-4572-A29C-0D44F6843190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb0e42114838dcc6fd167bd23319b2fe7d4443e0","datavalue":{"value":"https://doi.org/10.1023/a:1004201429142","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368753$42569C25-D039-449E-A921-865624C54D89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07481a601d5427d82a19b680d69513f326105e2e","datavalue":{"value":"W2011006610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368753$789DCD3F-9CCB-4404-B5E8-05B7D0B76779","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cceab7d865111d748ffc4333c18adecfc5c16f","datavalue":{"value":{"entity-type":"item","numeric-id":2758075,"id":"Q2758075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5d5b1e4df195bd3ddeed861d7b45af188048ef","datavalue":{"value":{"amount":"+0.8223381042480469","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":"Q1368753$3E5CC987-2347-4A46-AA12-7FB00749DFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7cdd83b865fbe93140f669259d2e7a5c27e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3329438,"id":"Q3329438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ca488540e842bff600f4c1b1265de5668652b6","datavalue":{"value":{"amount":"+0.7575174570083618","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":"Q1368753$9435F21D-952F-459B-96DC-BD8ED70D2C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51240574c5d1d09d139fd2918380b9deb541aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4661993,"id":"Q4661993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e922792015ec0ebbefbc1132a79aae511d1b1244","datavalue":{"value":{"amount":"+0.7451595664024353","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":"Q1368753$A94E76C7-1E12-45B9-B738-5E09AA3295CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50e3e650b7ff98cb108a1a5c9ae348f7c876072","datavalue":{"value":{"entity-type":"item","numeric-id":3161185,"id":"Q3161185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a11d7d921b96c717fd1d7727a5366739f443ea","datavalue":{"value":{"amount":"+0.7423844933509827","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":"Q1368753$08227090-DCD7-4CFD-9CE0-7ECD1DB7305B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c70cd15ecda03d51113f6e752fd5f08adb01944","datavalue":{"value":{"entity-type":"item","numeric-id":4551606,"id":"Q4551606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614a4c1d24b777d37a0f9458259773bbfe4e7132","datavalue":{"value":{"amount":"+0.7409765124320984","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":"Q1368753$812EF10D-514B-4B42-8627-5A7820CE6F27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonicity for intensional logics without iterative axioms","badges":[]}}}}}