{"entities":{"Q2736218":{"pageid":2746957,"ns":120,"title":"Item:Q2736218","lastrevid":47661358,"modified":"2026-01-02T09:07:15Z","type":"item","id":"Q2736218","labels":{"en":{"language":"en","value":"The decision problem for combined modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1638487"}},"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":"Q2736218$A4F38D4D-CAD5-4C5A-97CA-8030B075E691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c407b1b1eba1144224c237cef432f7e6c78bd498","datavalue":{"value":"0972.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736218$966AED87-F107-46E1-9147-299C0FA895D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736218$7C632AE4-1435-41AB-BD56-9C4A6616AD24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbe54b189e142f443bd2748281897f2cac285eb6","datavalue":{"value":{"time":"+2001-08-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":"Q2736218$BD181F49-F318-4925-B0FA-3E8B72E011CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736218$BA0D388A-C4D4-4C46-81E9-699AC3A0ACDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736218$D09E7488-1E10-43AB-A065-B46D77C7BE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736218$6424CD5D-31C0-48BE-B617-DAA94861656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736218$B6586F3C-FF82-4BB8-BB1D-851F966FF1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736218$1ECE0922-69B4-4EB3-B74F-71389F138FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1734671bf6e69a855987f8d09729a6d25af32382","datavalue":{"value":"1638487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736218$C54C6109-10A3-4D79-96DB-E8B04A928372","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb6dc0dc97e7bdd3405e1e6559bbb50698b63be","datavalue":{"value":"fusions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$873E9188-E597-4906-8787-595DC2244078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd12956df3bb29181af2c38ee6da9b42967012c9","datavalue":{"value":"products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$38093D27-2494-432A-8512-4C30198AF260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$67F8D93E-FBC7-4898-BB47-920D72DCA14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$50D46656-8D4E-4E32-AB9A-F44DA62ABDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$3FF1BC04-E559-4659-9C7C-A0C546150D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$F3543B86-51B1-46E2-B9E7-B97CD7E0C184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5fe1784dbba99343c48e38b73e4e8b39b66772","datavalue":{"value":"provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$20C6CED8-F0F9-406A-BA18-10AB0EA43132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7a0bcaaab0ea581b962aa1a550ee9a17454eb4","datavalue":{"value":"converse operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$DE626473-56D8-4A5E-ACA9-11C72BC1A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$BA42A535-8C1B-4A7D-9697-A1C8F144648B","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":"Q2736218$5CB72675-8110-459B-A0C3-D6E04C387EA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b82b5f035e4736117aa2e74abf2c767fd95861bf","datavalue":{"value":{"text":"The decision problem for combined modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2736218$2C47EB43-0F51-4E95-ABAF-17FB4C5EFFBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77d5f6844a7ea317195b5034b93bdcdb87ad3ed8","datavalue":{"value":{"entity-type":"item","numeric-id":6597525,"id":"Q6597525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736218$AB361695-07C1-42E4-A1EF-9983A6CF04AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fad483dd3218617abeffc99a120dd574396f398","datavalue":{"value":"The book deals with the decision problem for a variety of modal logics and logics obtained from modal logics by certain constructions.NEWLINENEWLINENEWLINEContents: 1. Introduction; 2. Fusions of modal logics revisited; 3. Bimodal provability logics; 4. Adding the converse operator; 5. Products of modal logics; 6. Modal description logics; 7. Fragments of modal predicate logics; 8. Fragments of temporal predicate logics; Appendix A. Basic modal logic; Appendix B. Important modal systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736218$88FCB4FC-FC49-4252-A7E7-0C1D5CB6F031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ed7b99bd728f513c80992336c22e4dadf31fca","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469b01fb93b9c24d6508a01210f73ef5c00843dd","datavalue":{"value":{"amount":"+0.840575098991394","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":"Q2736218$DD6B63F5-DE82-4FE6-A6B8-7B80896911CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af91b9b2afe043dfb4abf7d85dc66b028648be1","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32dfc242ab710c09b96a76bd8875097b45443ce1","datavalue":{"value":{"amount":"+0.8043997287750244","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":"Q2736218$B074B4CA-31AB-43D5-B74D-53F3AEA3BD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb267a643b7f09e93a296c62891e5b0160b58869","datavalue":{"value":{"entity-type":"item","numeric-id":3408136,"id":"Q3408136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dcdbd12f38fdc43117d12155157894707f2151","datavalue":{"value":{"amount":"+0.7866190671920776","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":"Q2736218$4E971767-BAF3-4CCE-8A1D-7A009DFCED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a007750dc527e0cbb7e0bc2b2c346bebfce94685","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffca52f09dd55e65bc742492a2f7169a5dcea1b","datavalue":{"value":{"amount":"+0.7863003015518188","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":"Q2736218$D9E1AF70-76F4-45E9-A179-97330D5CA164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf2312a039ccc6673779f11dd114fee45c73172","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a642ed4128c939d228c8285ff025e34233b114","datavalue":{"value":{"amount":"+0.7853063344955444","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":"Q2736218$EE0925E5-6787-49D3-9843-5FAA2EEAB7C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2736218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2736218"}}}}}