{"entities":{"Q2914235":{"pageid":2924955,"ns":120,"title":"Item:Q2914235","lastrevid":58053240,"modified":"2026-04-03T15:08:09Z","type":"item","id":"Q2914235","labels":{"en":{"language":"en","value":"Strongly complete logics for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086012"}},"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":"Q2914235$91839663-0D36-4360-B800-817B020C623E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8451df5dd4efc499c7c2543c60646951589f4ef5","datavalue":{"value":"1263.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$FA225FA1-93BD-4A04-B4F7-A4F50C096517","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca93be79921ad8ff6483d8dc262418ee022e1e07","datavalue":{"value":"10.2168/LMCS-8(3:14)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$773914E0-B63A-4122-B0F8-F43303B3FA16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914235$8E4A8431-3A2A-4FC8-B9A9-AB8DDFC67CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914235$4EB45ADF-EEE7-498E-AE23-729BD287A962","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914235$7C46AEA1-7648-4DB7-93BE-A0CA2157FE24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914235$8F532761-FE0D-4E72-AE10-444647D82E44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc0a34929889a353248b82054eba8e7e06cd9fbb","datavalue":{"value":"https://arxiv.org/abs/1207.2732","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914235$234CC4E7-782B-42AC-85CE-AFAFD0FDC313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$88B6E4E1-DCEE-4689-985F-514E4D618DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$8C02C302-0BEB-45EB-9DDD-7112249979B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$ABFFC6C4-26BE-44E4-AD3E-EA23948536BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$BC7A6F9E-7E5F-4793-B355-FB35B8A48A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdc75982f8492750e182d70fee1a081ab89fcbb5","datavalue":{"value":"6086012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$35006818-713B-4AF8-A93C-833B50CEBFBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$952030AB-4E78-43BB-B311-CD7242D0A193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$45F9D4D9-AEA0-45A5-B0E1-10AC9A5B3E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$37C455FF-4311-486F-BA7C-A819253CA3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$20F7C027-82D7-468C-9008-3ADCEA0D34AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf56bf782a5961420ae5f504f9272e66b939942a","datavalue":{"value":"sifted colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$8590FE4C-8052-40AC-819A-70548C396684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2958a7323c1fa19f3dae34fbddab283d0173f1ab","datavalue":{"value":"presentation of functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$FE26266D-93CF-427E-9017-44D3B6AF2281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$B70241AB-A646-434B-9B3A-C530ABF257D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0cec3d4837f054e325962e2b128e37b476472e","datavalue":{"value":"Jonsson-Tarski-type theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$829AD927-009B-4238-87E7-233DD8F90326","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":"Q2914235$EE255F35-0D01-48C3-8329-B09917FCC73D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16d6bcbcca5120e332997a68f05816d257ac8e3a","datavalue":{"value":"W2004318671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914235$E6576EF3-E672-493A-9BA2-92CAF1FEC7A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a221533aab40513f2bd012249dcece64517dee90","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46732ff2b198ee49c44e1b79d9d9f5cbca47faa","datavalue":{"value":{"amount":"+0.82319516","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":"Q2914235$856FC5D3-1420-46E8-9F39-2F5A0647412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59f44dd813cf86ca3e24e8d858f419bf548c8ca","datavalue":{"value":{"entity-type":"item","numeric-id":418820,"id":"Q418820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b8d1ca86efed2bb42eb7ad6f392126a75d335d","datavalue":{"value":{"amount":"+0.8194487","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":"Q2914235$700B62BC-503F-4E22-A3EE-A10534AB9397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c7413a9ede3ca04e9f52a6be50c4aa5213f76b","datavalue":{"value":{"entity-type":"item","numeric-id":2805164,"id":"Q2805164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0341da7501e171c9c127ea9d9a2b5b1a3b0e73","datavalue":{"value":{"amount":"+0.8181279","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":"Q2914235$B6C5CEE8-79FE-4E30-B8D6-F093F4C132DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a3537ee610732ebdba28062459be31ae19626b","datavalue":{"value":{"entity-type":"item","numeric-id":2904618,"id":"Q2904618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6ac03fe3ba825658f13249fa799d19a36aaea3","datavalue":{"value":{"amount":"+0.815413","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":"Q2914235$74312857-EF73-457B-AB3F-F24B1634211A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b18f394015661ad1a9edcff2d33fc56ec7c02f","datavalue":{"value":{"entity-type":"item","numeric-id":3085167,"id":"Q3085167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8561cb56d642dc4c3e977f8fee31eb655b5b5c7b","datavalue":{"value":{"amount":"+0.8117441","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":"Q2914235$EC4BFEDF-5475-4D78-8D8D-027CDF590349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fe58c450073c8737933fa4e6ab5bf33d2b7f47","datavalue":{"value":{"entity-type":"item","numeric-id":5899087,"id":"Q5899087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29a4580f8e94c1e30d80c65b97b1304ad6feeec","datavalue":{"value":{"amount":"+0.7993182","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":"Q2914235$06BA5DD4-B807-4DCD-B613-B0142AF59D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd272f34e3359ea08563c048e01cbc9d55be358","datavalue":{"value":{"entity-type":"item","numeric-id":283748,"id":"Q283748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb60f178889aa7c72eeb8365b7e99359b77cbd02","datavalue":{"value":{"amount":"+0.7990715","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":"Q2914235$CDE54CD0-F1D2-4D7C-B33C-5A042435BAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b65d2ab1e1dea67afa3ac3b9136f2e0acee812","datavalue":{"value":{"amount":"+0.7973858","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":"Q2914235$902A1863-79B9-4584-90E3-3A01242F805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5d84f9f10fe366e1ad2f2e537eef4ae556dc06","datavalue":{"value":{"entity-type":"item","numeric-id":402120,"id":"Q402120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ce1d4ea3c2dd304cd35b7580f2d3fea15a0889","datavalue":{"value":{"amount":"+0.7961143","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":"Q2914235$3BD6CF28-9E04-47FD-AD5C-1DF7F371B460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c5c1c631665573b2efa5cc2b858b0a4a31fd33","datavalue":{"value":{"entity-type":"item","numeric-id":2873668,"id":"Q2873668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df85927fbfc9bea0bf60b79a8589b3bf255f8d4e","datavalue":{"value":{"amount":"+0.79529625","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":"Q2914235$E618B049-BC29-4857-BE46-BF576FE1375E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e08ccf31ccbbfd6495db45724f2fe1380f9bba49","datavalue":{"value":{"text":"Strongly complete logics for coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914235$744094BF-08A7-4CAA-9655-31C3643B6940","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8171d982f8a89a7f4ee7ebfac6fd95449f4c14e","datavalue":{"value":"This work contributes to the growing field of coalgebraic logic by developing a correspondence between coalgebraic type functors and functorial algebraic syntax along Stone-type dualities. Generally, a type functor determines, via its coalgebras, a type of transition systems, while a functor on a category of algebras (e.g., Boolean algebras) induces logical syntax via its algebras. The principle pursued in this work is to induce the syntax functor from the type functor via a dual adjunction that becomes a dual equivalence when restricted to finite objects. A key result proved on the algebraic side is that a functor has a presentation by operations and equations iff it preserves sifted colimits. Results obtained using the method proposed include a J\u00f3nsson-Tarski-type theorem as well as strong completeness of the logic induced from the type functor; the latter result is limited to the case where the type functor preserves finite sets (thus including logics with finitely many modal operators but excluding, e.g., graded modal logic), a restriction lifted in [\\textit{L. Schr\u00f6der} and \\textit{D. Pattinson}, LIPICS -- Leibniz Int. Proc. Inform. 3, 673--684 (2009; Zbl 1236.03060)] after online publication (2006) of the current work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914235$C2A4851D-99B6-4BF7-9C4B-0D9996C470BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a79417a94bb26b1097b5b65a2b9b2c854101397b","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914235$430E23C4-240F-4889-9AEA-4402369FF9C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914235"}}}}}