{"entities":{"Q2157603":{"pageid":2168346,"ns":120,"title":"Item:Q2157603","lastrevid":57743376,"modified":"2026-04-01T05:45:02Z","type":"item","id":"Q2157603","labels":{"en":{"language":"en","value":"Simplified Kripke semantics for K45-like G\u00f6del modal logics and its axiomatic extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7562025"}},"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":"Q2157603$DAF6CA80-C946-4C7A-85DC-97285F8F3F30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a31a996ef7055c26bd0eca577258ab6ad86f20","datavalue":{"value":{"text":"Simplified Kripke semantics for K45-like G\u00f6del modal logics and its axiomatic extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2157603$C9727EBD-DF2D-4B00-A053-FC77AD831FB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdfdf0f673d6c00ffdcb978b62378c90667203c7","datavalue":{"value":"1498.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157603$C5322576-281E-42B1-9EEB-1E15067BD109","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"320532cbf966ca6c6c8691efed1e0c0aaee0b2a0","datavalue":{"value":{"entity-type":"item","numeric-id":2157602,"id":"Q2157602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$7DB7DA16-E183-428D-89BF-5C46180B8ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9a14fb8844d2ae2b5c70144e3e3ede7df9cb55","datavalue":{"value":{"entity-type":"item","numeric-id":167895,"id":"Q167895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$FE818C0E-0718-4A7F-96F8-1FC63DD18548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c8cca1e831242552a06524008df67597ba7eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":167896,"id":"Q167896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$A2C02189-B858-45EF-A06D-7191C645E579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2880a57423a89c8ca95583376a053981c38d8460","datavalue":{"value":{"entity-type":"item","numeric-id":1601883,"id":"Q1601883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$F6091FFE-4F99-4776-B951-6DA786ECE396","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$A4097106-1C52-4987-8232-430A47159EF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d46ecef1ec827ad3e2f040d1d1db4685eddc02e8","datavalue":{"value":{"time":"+2022-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2157603$1B2ED760-816D-4758-B74B-8498FFC63F7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c880b77a77c64ff74eeee9d7126dde094597e832","datavalue":{"value":"https://arxiv.org/abs/2105.06570","type":"string"},"datatype":"url"},"type":"statement","id":"Q2157603$207353D3-A38E-4E1A-8BD7-117624177012","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c09b5782aa70944181a0db18e7f6f6c6e08385c8","datavalue":{"value":"The paper considers the many-valued modal logic K45(G), that is, K45 where the truth value set is \\([0,1]\\) equipped with G\u00f6del fuzzy logic. A semantics of this logic is given by generalized Kripke models where accessibility relation and atom evaluation are valued in \\([0,1]\\). The logics KD45(G) and KT45(G) are obtained by adding to K45(G) the appropriate modal axioms. In Section 4, it is shown that the semantics of K45(G) can be simplified and given in terms of possibilistic Kripke frames, given by a set \\(W\\) of worlds and a possibility distribution \\(\\pi:W\\to [0,1]\\). A subset of this semantics is complete for KD45(G), and another one is complete for KT45(G) (this latter result was already known). In Section 5 it is shown that K45(G) does not have the finite model property in the semantics described here, but it has it in another, hence decidability (and low complexity) of the logic follows.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157603$9AEE9BB2-297E-4E1A-A406-01F76FBDA674","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a35dbfeed057011082c6d14b6c008c45f168595","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$71740E35-C542-4669-A85C-EDEF2A0C5415","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157603$0BFDE16C-2E2B-4D82-9CE0-1581DF8FEFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157603$A7DA81EE-F370-4248-A444-F0A4088D4A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157603$5E6EEB02-D433-480F-A4CD-7399CBC7CAA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0182872ec67b555ecdea14689556edb87d04d2f","datavalue":{"value":"7562025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157603$E46F3658-45E1-45CE-827E-A038C8D66DA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b957829bd5e5dc4384ae9ef548d3b2ebd1cc6b4","datavalue":{"value":"possibilistic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157603$00D65138-B91D-4633-88D7-7049A931BB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14113be93715ebdbfc72ce3a626ddb6aa94be0c","datavalue":{"value":"epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157603$D6E45E94-BB05-488E-B1C1-CBF8D8FB2E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad2ade8169cf5fb6da7a6d5a40f64f6f1abc5ab6","datavalue":{"value":"many-valued modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2157603$4E415913-C5DF-4085-BF43-F90BD5440529","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":"Q2157603$680A1C9A-D05E-432B-8AC2-4EDE54D844D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09ead67471b4234bfac463d449dbcb7a711d8161","datavalue":{"value":"W3163011003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157603$6F759EB1-D124-48DF-AF3E-38294DD1AE02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac589897be4c492f7c47b59a82f0dbe5636db3","datavalue":{"value":{"entity-type":"item","numeric-id":3097868,"id":"Q3097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$EB0F2994-FE55-496E-8EA4-0965D98EE3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4965bed372413dd2bb92b141bbca4df0d0a8421","datavalue":{"value":{"entity-type":"item","numeric-id":2948591,"id":"Q2948591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$6AF07ADD-EE92-4043-91EA-F93D14BDE3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b342aa7a294688bc61c4c30bbde2d9177f02be","datavalue":{"value":{"entity-type":"item","numeric-id":5117204,"id":"Q5117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$134B78E9-81D3-4A04-A30D-6E98234A6E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed5cbd050f3d69c3e74867cf7cee68c92daa409","datavalue":{"value":{"entity-type":"item","numeric-id":2317511,"id":"Q2317511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$95BE43E8-E172-4143-ADD8-7C10E2E6A449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3df0b23ba7271d3f990b3e9d91914833dff0616","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$58816055-A152-40FB-8F5E-05FE441182E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02149d0f3702ffaf6b195b17d6ff6b1ab7b5d343","datavalue":{"value":{"entity-type":"item","numeric-id":5176545,"id":"Q5176545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$1521F6C5-E84D-4871-AFC5-B502C5BE26A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b794dccea43e5a06da900b7f3aecd933893d04","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$D9B2D3B4-A0C4-4E15-91A1-2253F039F385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51edaf0905cfa08c4e814f5d2f45d7935fb2de2e","datavalue":{"value":{"entity-type":"item","numeric-id":2303581,"id":"Q2303581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$01259281-9441-41BC-BAAF-33F42F0672FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8371eca9c453c98574173c49dabfbc1f50d2ca04","datavalue":{"value":{"entity-type":"item","numeric-id":622285,"id":"Q622285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$F0533CAA-51C2-438F-BFAA-E5C6B011540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$A3D93CB5-05B0-49B6-A0D8-D2877846DF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437fdcbbb949db5f03a8366e30626aaa2e098dc8","datavalue":{"value":{"entity-type":"item","numeric-id":598572,"id":"Q598572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$2DD5DA54-798F-465D-878C-58880AD49B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5221ae9f5665dd4e4711830b1603643cc70319b","datavalue":{"value":{"entity-type":"item","numeric-id":4600475,"id":"Q4600475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$D1C5E03D-9EFB-4420-AB12-A12AF665B83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8848e37fadca5554dd8334ff77a4276a09ed26dc","datavalue":{"value":{"entity-type":"item","numeric-id":1677438,"id":"Q1677438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$1F2B7C13-D27E-4787-93CC-CCFBE173B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$1D8E8349-351A-44DD-A29E-58D5A97AE4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$57D6EB32-A1C8-43C0-B20C-1CFEA0A6A473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e447531d097e5e5ff13f24decf683d1199ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":3006596,"id":"Q3006596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$65C4D556-EB1C-4CFA-BE77-AFC2891C8CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$F9081B0F-564C-435D-BE23-6BF2F9CEA6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b6ca3d5ee23117c110076d70585f6fa89b78f5","datavalue":{"value":{"entity-type":"item","numeric-id":5411457,"id":"Q5411457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$D0285FAF-0823-4659-8B83-8881A73EC3D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8db8a381e91396705ff89141caf84006876af8c4","datavalue":{"value":"10.1007/S11225-022-09987-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2157603$37B3E82A-86F2-4ED9-9D64-A374F6671DCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eaa512844d24a7a4765f7cd0865ba881db92d74","datavalue":{"value":{"entity-type":"item","numeric-id":5117204,"id":"Q5117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b254571f58402e12978470bc744b640b9eb8d7b2","datavalue":{"value":{"amount":"+0.9118799567222596","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":"Q2157603$75B35D05-3763-4173-9090-E78C3945B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10631cfa72ce791e937fd0ea0f0f37045cdee08","datavalue":{"value":{"entity-type":"item","numeric-id":5411457,"id":"Q5411457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72256094510169456b792746f87f9f1d7039b8a6","datavalue":{"value":{"amount":"+0.8280963897705078","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":"Q2157603$2410D02C-7CEB-446F-A92D-ADFB5700E90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e803281346a7822a0a010212e8b313835ab757","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5632a775b8438eb01c4fe37f06c6f677ee81d7e7","datavalue":{"value":{"amount":"+0.8097415566444397","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":"Q2157603$D3453735-CC86-4A50-9D1F-6DF3292D04F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0959eac607e6b32f400ef86561b6114f2e85157","datavalue":{"value":{"entity-type":"item","numeric-id":5176545,"id":"Q5176545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcd7308c0e9332fa7dad741b9672ff38f4c12b5","datavalue":{"value":{"amount":"+0.8086948394775391","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":"Q2157603$5C13AE1B-88DE-40E4-84D9-D1F791FBD9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf59a7c225b07378e265c4b97b1ef9575a894860","datavalue":{"value":{"entity-type":"item","numeric-id":622285,"id":"Q622285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82517f78c14ad5b6ae188c01de5340644cecb4e5","datavalue":{"value":{"amount":"+0.8062219619750977","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":"Q2157603$C7A2706A-35FF-4F37-8726-3A53D0583A3D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2157603$39DFA5BA-509F-4641-8DF8-88034C15F647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2157603","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2157603"}}}}}