{"entities":{"Q2804478":{"pageid":2815216,"ns":120,"title":"Item:Q2804478","lastrevid":58021815,"modified":"2026-04-03T11:57:23Z","type":"item","id":"Q2804478","labels":{"en":{"language":"en","value":"Reflexive-insensitive modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575410"}},"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":"Q2804478$162A26CD-E273-443C-B987-97507877599D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faf4145b26bf1c897a0fdba1832d00082d32a347","datavalue":{"value":"1353.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804478$B96B69A3-00C6-445B-8F8C-BE11EF4C21DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffe38bfcdd8f35434ccb2ab97a0b00c6200af024","datavalue":{"value":"10.1017/S175502031500026X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804478$4736CCB2-BEEC-4895-B414-00199267A2BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2e67afcbb36ae49483fb40b8d97eb798644c54a","datavalue":{"value":{"entity-type":"item","numeric-id":1982012,"id":"Q1982012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$D255369B-64DF-435C-805B-CF4F1F53DF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22342485511ab36ea3c094d2ea6d563c1167efae","datavalue":{"value":{"entity-type":"item","numeric-id":1982013,"id":"Q1982013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$19E97143-91B9-4F75-A377-1087B50C0EA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$1F8ECEF7-3B8C-4607-84E3-671FCF05AC6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c64d6bdd320829ec442feaf78067f68056a43a6","datavalue":{"value":{"time":"+2016-04-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":"Q2804478$83319642-C9F1-48DD-968D-98C09C14BFA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9458612addcf40a462595a655eb6ecd657a5164","datavalue":{"value":"https://arxiv.org/abs/1507.06113","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804478$CF3C3C89-467C-40A0-98A4-E9438E9BE1DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804478$E81A95C5-961A-4684-B86E-018EC56EE08B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f26a48ea5a82469946dfa0cd6befbef8d4b3ed4","datavalue":{"value":"6575410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804478$893A2FD9-66C7-4654-BAEC-E271BA414835","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804478$AB2A2AAB-8AB3-41A1-BDD7-41129AE367F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd1481cd07837daa6f4d4f3a5232f49a1a26e74","datavalue":{"value":"reflexivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804478$E9266F74-E38B-46E0-BF43-B0E5DAFE71BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52be576ce7535ff0e8127f405f63671c80ba489e","datavalue":{"value":"minimal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804478$BBA58E11-A5DE-49F2-ABBC-A5ED77ADF729","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":"Q2804478$61712A70-FC67-42C7-BF81-D9F09448C97A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d20630b0bd7dc58b969242e7c24eca5d6be14","datavalue":{"value":{"entity-type":"item","numeric-id":3984429,"id":"Q3984429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$E215AD8A-2AD6-4BC3-986C-944A5C94B264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$D3ED237F-794F-47AD-A9C2-69015C3089A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584396dfa1237e71cec2023adf5fcb88e8621d88","datavalue":{"value":{"entity-type":"item","numeric-id":1049740,"id":"Q1049740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$DE091AA0-E860-4020-8C92-FCD10C9B172D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c1f0aa0b1985b666af90e390d7f1a39efdc19d","datavalue":{"value":{"entity-type":"item","numeric-id":645741,"id":"Q645741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$C7866786-940A-4BFC-B44C-BC9BB7ED5AC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0f107331d10b2833eb5a3b12e4a95cb01ab618c","datavalue":{"value":"W2253605250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804478$AE654B9F-6AAC-4F61-B77F-BC9BD2548B05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"689be966b8e394ccf97a2b3515640b5e7464c356","datavalue":{"value":{"text":"Reflexive-insensitive modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804478$14617923-BD29-41A5-826E-75754CA219CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3dc7dccfa64c95bd516a61cdd3fd937842d669b","datavalue":{"value":"This is a very interesting paper. It proposes a semantical method to turn modal logics insensitive to reflexivity. The idea originated in the works of \\textit{J. Marcos} [Bull. Sect. Log., Univ. \u0141\u00f3d\u017a, Dep. Log. 34, No. 1, 43--56 (2005; Zbl 1117.03305)] and \\textit{C. Steinsvold} [Notre Dame J. Formal Logic 49, No. 4, 385--392 (2008; Zbl 1180.03017)], but the current paper seems to provide a more structural analysis of the subject.NEWLINENEWLINEThe semantic trick is based on an additional modal operator, which is rather intuitive and natural. Then, the authors show the completeness of this new modal logic with the new modality using the standard techniques (maximal consistent sets).NEWLINENEWLINEWhat I think the most important contribution of the paper is its study of the translation from normal modal logics to the reflexivity-insensitive logics. The reason why I found that part interesting is that it has potential to relate to many other many-valued logics by way of a syntactic translation.NEWLINENEWLINEFinally, it seems that there is an intrinsic relation between reflexivity-insensitivity and (a global interpretation of) negation, which still remains to be explored more in detail.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804478$C4F5165A-2B28-47AA-AF51-EE5AA2137F70","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"feb081b7e2e7cdeaf35e49b975323f36efb5fb83","datavalue":{"value":{"entity-type":"item","numeric-id":484904,"id":"Q484904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804478$F14C76D6-FC2E-4CF0-8CA9-6BEF10D30408","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6016374a7476ff0cad9697687f1d4f504bfc42d","datavalue":{"value":{"entity-type":"item","numeric-id":1982014,"id":"Q1982014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3195644422c6186ae68ee9426f00be8dd6592bd","datavalue":{"value":{"amount":"+0.8326809406280518","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":"Q2804478$79AE6597-C8FE-4549-AAE8-0D00BA9B6F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640bbfa8d40d7185798bc51cbd2b4f132768e29f","datavalue":{"value":{"entity-type":"item","numeric-id":4018076,"id":"Q4018076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c387b64d4d900e3b165a1540dbac68c870b6091","datavalue":{"value":{"amount":"+0.7888012528419495","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":"Q2804478$B46ED662-C2D9-43C4-9B7C-7DED680452A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a227da79a144cd5262b50d466617d35621eb1353","datavalue":{"value":{"entity-type":"item","numeric-id":1685940,"id":"Q1685940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f1458700b1e30dbb0634aa9143e4af119063e0","datavalue":{"value":{"amount":"+0.7520727515220642","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":"Q2804478$6F0651AF-F49C-421C-853A-FFD50A2964AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eb5c0f111b2e9efb848e166dccd71bf81ef59d","datavalue":{"value":{"entity-type":"item","numeric-id":4531580,"id":"Q4531580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe053a8240a9ab18d08fd28ca5b198e22131ba66","datavalue":{"value":{"amount":"+0.72275710105896","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":"Q2804478$85A3BE0E-B8FE-43F1-8382-0C76C0896ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc8db378c411b5baf06b8470621d4268a1673e9","datavalue":{"value":{"entity-type":"item","numeric-id":2867951,"id":"Q2867951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329cb702f6f92b25814edc6358bf99c1572f97a8","datavalue":{"value":{"amount":"+0.7227399945259094","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":"Q2804478$939FC6A7-869B-4EBE-9BD7-CB1073DCABFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804478"}}}}}