{"entities":{"Q1119622":{"pageid":1130371,"ns":120,"title":"Item:Q1119622","lastrevid":49268266,"modified":"2026-01-06T21:19:38Z","type":"item","id":"Q1119622","labels":{"en":{"language":"en","value":"Notes on modal definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097344"}},"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":"Q1119622$404647F1-A315-48E6-9F99-DA7140A779DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ece1bcf316a402d4c02550b2dac1d8e5eb1701c","datavalue":{"value":{"text":"Notes on modal definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119622$8592D668-031F-4016-9253-782FE532E3CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1d2dd5921843db030abf32645dc841196873ef7","datavalue":{"value":"0671.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119622$C7711BCC-3D04-451D-A110-AB9634CE6B09","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":"Q1119622$1994F954-2FF7-4C7D-AE40-C2FFE78D001F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1119622$A5D4ECA5-B238-498C-8CFA-14AC62B7CE66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"224a67f828a888c76c473cd2b113f014fb9ba4a7","datavalue":{"value":"The paper contains a series of results in Kripke model theory for propositional modal logics related mainly to the notion of an ultrafilter extension [\\textit{J. van Benthem}, ``Canonical modal logics and ultrafilter extensions'', J. Symb. Logic 44, 1-8 (1979; Zbl 0405.03011)]. It is proved that a subframe logic (i.e. the logic preserved under subframes, not necessarily generated) is elementary iff it is preserved under ultrafilter extensions. A consequence of this: A subframe logic is canonical iff it is elementary and complete. Another new result is: On the finite transitive frames, a class of frames is modally definable iff it is closed under generated subframes, disjoint sums and p-morphic images. Also a modal formula is built which is non-elementary in the class of all finite frames.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119622$D53EFE41-F4E4-47EA-B8B6-7411F99D60EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119622$8828DA0F-FDD1-45AD-ABB5-88A0DA34C4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119622$009E62F1-E8A7-4B5B-88A5-39B8123C4265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b743374dd49facd95c0871ce2f29f116f54d61d6","datavalue":{"value":"4097344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119622$C0EC330C-B630-4A45-94D1-984E9825A953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119622$B9EF6C5C-2113-4BA5-AA82-C929C898587D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119622$77C5B744-B444-47CA-AA19-32941B60F15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2534b5ac73dab75e3a5b2bcdc265a772fb5f18b8","datavalue":{"value":"ultrafilter extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119622$B9BCEC1E-1D9D-462E-938A-5D14BB172E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4990892a0f22cc41347725fde4312353893c03cc","datavalue":{"value":"subframe logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119622$541B5303-2CBF-49BE-B563-6C2013F56B59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119622$3CB9E0FF-42CE-403F-900B-369F79562D39","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":"Q1119622$F6B60E2C-305C-489D-B644-116C27975AF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e719c4c11cda405c9fec7de1734d8de718f787a3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634994","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119622$741ACEFE-4870-44F0-90AF-18DC510F8183","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6719c0ee9d62100b8692d81a71ecb21419bfdcd","datavalue":{"value":"W2068215732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119622$68C43968-77D0-4D8F-8915-B26C50C2E803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76c0631bd7f4b8fdbda7141524d336c4efbf36d1","datavalue":{"value":"10.1305/NDJFL/1093634994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119622$99E9339A-CF3A-4C85-B9DD-7A15062BC3D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe9d92ea9faa7a7c247b83470590b5f7cb48217","datavalue":{"value":{"entity-type":"item","numeric-id":714726,"id":"Q714726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4069af0b7e93678a7939ccf5dba0bb0ba8054d76","datavalue":{"value":{"amount":"+0.8398405909538269","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":"Q1119622$2D6F229D-CDC8-4BAA-96B1-41E840829A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73321d23481ef02742cd6e5b16a9ca0b953eb270","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fae541fe0cc8fb7dd89e61e42431813fdb5ff0","datavalue":{"value":{"amount":"+0.8319733738899231","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":"Q1119622$7526733F-3A8E-40F2-8D7A-F2202E2D4C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761ec275852a84ba06fb42a5bf3d2852d01ec311","datavalue":{"value":{"entity-type":"item","numeric-id":5170729,"id":"Q5170729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa3c2d96f79e1fbe6082aa87cc6f1397d34b98c","datavalue":{"value":{"amount":"+0.8251065015792847","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":"Q1119622$67069A4C-717D-4C37-962C-A21C3DA80937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f02ce9ee9f0f603391d1b2558b16560a7370e2","datavalue":{"value":{"entity-type":"item","numeric-id":497429,"id":"Q497429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea9d9a89d41dac1290bf5491662136e0a096694","datavalue":{"value":{"amount":"+0.8132926225662231","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":"Q1119622$9B758C19-5958-41F8-B936-0AE5B539273E","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":"660ba204a566aaa1a08da0699c7e4be089333c25","datavalue":{"value":{"amount":"+0.8012105822563171","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":"Q1119622$361D9592-48CD-42C4-964A-4E70673E2D04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1119622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1119622"}}}}}