{"entities":{"Q540406":{"pageid":542173,"ns":120,"title":"Item:Q540406","lastrevid":62608098,"modified":"2026-04-11T07:14:36Z","type":"item","id":"Q540406","labels":{"en":{"language":"en","value":"An algebraic approach to subframe logics. Modal case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903678"}},"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":"Q540406$2D358BA5-8D02-470A-B254-F44FBD5EBED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"810edc06d94e5856a4f276b662ea42d6032942a0","datavalue":{"value":{"text":"An algebraic approach to subframe logics. Modal case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540406$CFDF9FA1-2F4C-4BB0-9722-43DDF18C96D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3c63ad560ca888ad960c91f103622adfae2d897","datavalue":{"value":"1246.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540406$E4A5B64F-C95A-448A-B93D-D63304BDED67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b851c3483e18b75bc657c64dc77ad49b55239bf","datavalue":{"value":"10.1215/00294527-1306190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540406$2F235169-AEB2-4B27-9086-A8163E201DE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540406$AB7EC76D-98E1-42BF-A207-7E4E0764CB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540406$7589502F-74DA-4E82-8EF1-3D4917AF4463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a64c885a1154df6f4ff877f7f306fc40e8a6d","datavalue":{"value":{"entity-type":"item","numeric-id":165870,"id":"Q165870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540406$9D5A3737-1367-41CF-8858-36844BB7FE6E","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":"Q540406$1A7E1733-8287-4BDF-A50E-7F2A45C41404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q540406$1E3DCF73-1C60-4626-90BE-79BE2B5204C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"527210ad7623359f3169a278fc3118a4a9913fe5","datavalue":{"value":"It has been shown by Fine that any subframe logic over K4 enjoys the finite model property (FMP), which then was extended by Zakharyaschev to any cofinal subframe logic over K4. From this follows that any cofinal subframe (and then any subframe) superintuitionistic logic has the FMP, whose algebraic proof was also given by the (first two) authors of this paper. Here the algebraic method is applied for the modal case. As a matter of fact, the result of Fine-Zakharyaschev is generalized so that any cofinal subframe logic over wK4 has the FMP, where wK4 is known according to Esakia as the modal logic of topological derivative and constitutes the subsystem of K4 characterized by weak transitive frames. The main observation is that, if a modal formula is refuted on a wK4 algebra B, then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of B. The common base to support these algebraic proofs is Diego's theorem that implicative meet-semilattices are locally finite. For the application, however, some more sophisticated manipulations are required in the case of wK4.","type":"string"},"datatype":"string"},"type":"statement","id":"Q540406$01237C50-EA0C-4996-AB97-24733B7E6EB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540406$8776A46A-FC75-49C9-83F2-FD808410054C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540406$B8FE2B12-8E5D-4D63-8807-29231CFD7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540406$6D74D309-7DC1-441D-968E-0899974C36EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c7120020a215d53185c95db412f92a5e4741bd4","datavalue":{"value":"5903678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540406$C97E5CD3-E779-4E90-81D4-43FED138762E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q540406$07BA32E0-9CEC-493B-B27B-041F03C434FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4990892a0f22cc41347725fde4312353893c03cc","datavalue":{"value":"subframe logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q540406$4E0DE29D-7B4D-42A4-97F2-A5864352C7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q540406$FE3AE82E-BF1F-438F-8B18-80C17C445BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb4957dd47b3414c134a9ab7f81658cb28803b7","datavalue":{"value":"modal logic of topological derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q540406$017EEA97-592E-4D80-BFEE-A328C48DA55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7fd71a07a79685b20aa0ad5843c0bc17b20fc3","datavalue":{"value":"weak transitive frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q540406$E9D55D88-A682-4A77-9F98-D4DA4111E200","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":"Q540406$2136EB6A-1805-40DA-A0A5-9F43B2982C07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be9c4962b8076833bd01ca3d20e2377830c5deb7","datavalue":{"value":"https://doi.org/10.1215/00294527-1306190","type":"string"},"datatype":"url"},"type":"statement","id":"Q540406$81C4257C-2FBB-47CB-A6CE-B9232991F7D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ede3e9649ee4caaf6ae56ef8593fa65a65894ad0","datavalue":{"value":"W2008144954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540406$5D37CAE5-DABA-45CD-B54E-111FB9D0A6DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97bc117e48b450296cd5fc53a169ca3af18a6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86aec635bebfcc5cebe23ba749f016bb182bca6","datavalue":{"value":{"amount":"+0.9543217","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":"Q540406$656FAD3F-E98D-4BFB-A128-1D8D259D22A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803f762c60624fe76488b6efd9814db5149ecf92","datavalue":{"value":{"entity-type":"item","numeric-id":6156629,"id":"Q6156629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e152eb8544861959049aa068bada3b5bc9f57506","datavalue":{"value":{"amount":"+0.9067223","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":"Q540406$D9F2C407-A18B-4B88-AA40-00D166AAB8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919c24905d81e74975b9207a30ec7d795cdc2b56","datavalue":{"value":{"entity-type":"item","numeric-id":4645752,"id":"Q4645752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5adba3bc82305262b7c38b10f3dc557b5d8b0eb","datavalue":{"value":{"amount":"+0.90405667","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":"Q540406$16239F4C-9448-4BE2-8E5F-4D2FA9387299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a0f614fc2e62a287d629feffe0d12cb1fbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a0f421172d4f2fb08294b71fea28ab20a7df45","datavalue":{"value":{"amount":"+0.9012955","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":"Q540406$A0FDBF96-F663-476D-AF00-199CDA84371B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9feaf5a26db187259b052cdc23a6f67419a653","datavalue":{"value":{"entity-type":"item","numeric-id":4580320,"id":"Q4580320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808c5331670efce07c74402f689b401146859e4d","datavalue":{"value":{"amount":"+0.89569175","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":"Q540406$90D8E83A-E098-4AA0-8CD0-53A678016556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e70573b32bc2e1bcdc519f53a69a26d42ee15","datavalue":{"value":{"entity-type":"item","numeric-id":685423,"id":"Q685423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be291e69a86f28c83afa7fb11a3ad76dea7a8f7","datavalue":{"value":{"amount":"+0.8878514","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":"Q540406$CB2E7911-BBDA-413D-9050-27FEAE50806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4338586671c8a8cd53bcb1649860ce66dca8b896","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2902c3c11a3866c92f70bdb0a39ce5253e31567c","datavalue":{"value":{"amount":"+0.8870318","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":"Q540406$A8DE7F0C-D919-43D4-ABCC-BF41C2088963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573252574e755c7b356ee16e3205533c40947d07","datavalue":{"value":{"entity-type":"item","numeric-id":5015271,"id":"Q5015271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a84ad7f8fb542b51a97e0e39524ea692c3319f","datavalue":{"value":{"amount":"+0.88611215","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":"Q540406$E6935A48-BA5D-4B48-B3BB-911146B42050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46418a1d6f9eb14a82a7323aab223943ffa1574","datavalue":{"value":{"entity-type":"item","numeric-id":3474636,"id":"Q3474636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c88c10ef3dc48a0b80c498b6638e57d9c849173","datavalue":{"value":{"amount":"+0.8858823","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":"Q540406$B474D6E5-567A-4957-A9C6-AD7468E59723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4534f7db60fffde8d688ab452b32f9543984788","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f740efbdd9f3a285bb89a838a5affa199fa91085","datavalue":{"value":{"amount":"+0.88539255","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":"Q540406$8BDD215B-0883-4E6D-B04C-60029F716511","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic approach to subframe logics. Modal case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_approach_to_subframe_logics._Modal_case"}}}}}