{"entities":{"Q383565":{"pageid":385332,"ns":120,"title":"Item:Q383565","lastrevid":61464210,"modified":"2026-04-10T23:31:56Z","type":"item","id":"Q383565","labels":{"en":{"language":"en","value":"Inverse images of box formulas in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235907"}},"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":"Q383565$A64302ED-E485-4CC5-BC0D-81BCD79FE301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ba73a28d03ca14bdb167a0a26decdc3f19180b3","datavalue":{"value":{"text":"Inverse images of box formulas in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383565$F153CECC-406A-4BBA-81F9-4567230E27CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae4b166b499f4ac0dbf4d7dce2a781af9ec5a98d","datavalue":{"value":"1309.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383565$37E5CF82-CFB8-4D18-A79C-63CCACEFC02C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$E835EA45-57D8-4467-ADAD-2A98BF71B041","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":"Q383565$DB4BCFED-221B-4968-8835-3E5A2CA9C84D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f420f81e7abd42ff5b5b9a728cf7a1087397508","datavalue":{"value":{"time":"+2013-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383565$94058969-3BD6-41B4-A1B9-11A1AC0EC99B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acafe432da59e591054578d8d5a93c82b0594be3","datavalue":{"value":"The paper investigates some properties of modal logics that do not have the cancellation rule ``from \\(\\square A \\leftrightarrow \\square B\\) infer \\(A \\leftrightarrow B\\)''. The latter is the converse of the congruence rule (alias the rule of equivalents) ``from \\(A \\leftrightarrow B\\) infer \\(\\square A \\leftrightarrow \\square B\\)''. When the congruence rule is admissible -- as is the case, e.g. in the basic modal logic \\(\\mathsf{K}\\) -- then for a given formula \\(A\\), every formula \\(B\\) such that \\(\\square A\\) is logically equivalent to \\(\\square B\\) must be logically equivalent to \\(A\\). This is not necessarily the case for logics where the cancellation rule is not admissible. It makes therefore sense to define the \\textit{inverse image} of \\(A\\) in logic \\(\\mathsf{S}\\), noted \\(\\square^{{-}1}[A]^{\\mathsf{S}}\\), as the set of all \\(B\\) such that \\(\\square B\\) is logically equivalent to \\(\\square A\\) in \\(\\mathsf{S}\\). The paper investigates the properties of that set. It is shown that (1) for some \\(\\mathsf{S}\\) such as \\(\\mathsf{K}\\), \\(\\square^{{-}1}[A]^{\\mathsf{S}}\\) is a singleton up to logical equivalence; (2) for some \\(\\mathsf{S}\\) such as \\(\\mathsf{S4}\\), each \\(\\square^{{-}1}[A]^{\\mathsf{S}}\\) has elements that are logically strongest up to logical equivalence (such as \\(\\square B\\) in the case of \\(\\mathsf{S4}\\)); (3) for some \\(\\mathsf{S}\\), each \\(\\square^{{-}1}[A]^{\\mathsf{S}}\\) has elements that are logically strongest and elements that are logically weakest, up to logical equivalence; (4) for some \\(\\mathsf{S}\\) such as \\(\\mathsf{KD45}\\), there are formulas \\(A\\) such that \\(\\square^{{-}1}[A]^{\\mathsf{S}}\\) has neither strongest nor weakest elements. It is also shown that there are logics such as \\(\\mathsf{KT}\\) where there is no general result: while \\(\\square^{{-}1}[\\square p]^{\\mathsf{KT}}\\) contains logically strongest and weakest formulas, this does not necessarily hold when the propositional variable \\(p\\) is replaced by a complex formula.","type":"string"},"datatype":"string"},"type":"statement","id":"Q383565$82CB73E2-75BC-45F2-BD85-8834B9570936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383565$680C8711-2E3E-4FAC-9094-A0987838AAFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bb17314b11fa4d3e508e44087e1bba9149b7512","datavalue":{"value":"6235907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383565$FC7F1D76-362F-4EE0-B55A-95526FBEBC53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q383565$5CBBDEA5-E6C2-40CA-ADD8-038CD10CAC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a70fc1722066c7c6cfb5b131061cfa33eebdc6","datavalue":{"value":"inverses of modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q383565$7720D705-F83C-44B6-8FB3-64F289CC9D06","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":"Q383565$3C0A2B7B-6A26-4AE6-9E45-13AD2DDCCB58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c54b517651d96963980d87bd1adf9ffddc15509","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9419-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q383565$61AB1CE2-070E-47F0-9E41-41324D3E0A50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8d254cb957ac000b673d004f2514023dc3561c5","datavalue":{"value":"W2075105764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383565$AE84CF8E-AEC4-4A98-ABAA-C415CAA2BDED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57c597c053f61f389639b21ace32fb627519dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3509046,"id":"Q3509046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$D788679D-3321-424C-8090-36D084BEF8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9581ee7cece251f0f703f3fb6700b5b447a3e435","datavalue":{"value":{"entity-type":"item","numeric-id":1165230,"id":"Q1165230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$902C66CB-453B-4B1E-A4CD-C1B2841A21C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$2E45A0D5-01FB-4F2B-98A2-718D1EF93C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$1C63C6DE-53D7-4E70-9C5A-BA48DEA47CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff7e3e8e126011212e70107285b6ea1712f0265","datavalue":{"value":{"entity-type":"item","numeric-id":4496833,"id":"Q4496833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$27D9B32E-4147-4D55-8F20-5E5C676C02F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237d993e79abbd92dc48511e1f3f62bc2b4a768d","datavalue":{"value":{"entity-type":"item","numeric-id":3521253,"id":"Q3521253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$F6D02C9D-795E-4F7A-B415-17CFCCB3CCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1d39540b1a585cfe667c60afa7c96c924fc245","datavalue":{"value":{"entity-type":"item","numeric-id":1815407,"id":"Q1815407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$87558E93-2F80-43D0-8CD9-81E49B46475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8255d21ac87d0f7f150093e857357ed689beb5","datavalue":{"value":{"entity-type":"item","numeric-id":2904054,"id":"Q2904054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$0B202881-6241-42C1-967A-174AC48C9E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1cd960fda25feecf167ae8b55d7b5f58976cd","datavalue":{"value":{"entity-type":"item","numeric-id":1430999,"id":"Q1430999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$C9B9D244-D72D-4825-989E-361B5DDF336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2076d05c2f588f4628275fb1d0450b63a6542e49","datavalue":{"value":{"entity-type":"item","numeric-id":3629240,"id":"Q3629240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$84EC115E-34EA-4B50-BF56-412A9AEB6494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670a3ce5c18ed73bafe144994ba79430cc61d826","datavalue":{"value":{"entity-type":"item","numeric-id":1038650,"id":"Q1038650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$BB6A1B5D-B465-4AE5-8BF9-4E1D0F5E0BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$8268C622-BCF3-4587-A8B8-2CC14D6D32D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8806c041dc35e3ec9d88e862c267150885e7b59","datavalue":{"value":{"entity-type":"item","numeric-id":3185648,"id":"Q3185648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$FB42D04A-8733-4545-9EDB-1746CBF53724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0397342dff88ad75e3871c5707a9ccc7f294b14","datavalue":{"value":{"entity-type":"item","numeric-id":1370458,"id":"Q1370458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$B2A2361D-1B6C-40C9-A6A6-9C69A455C4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e35786e2ad0b61df16849941a2903b1a0016db2","datavalue":{"value":{"entity-type":"item","numeric-id":3409073,"id":"Q3409073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$E6E96B2A-D5D5-4CD5-A4ED-D2A21F20DA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b0567f262821dc093e5542328b30828416b19d","datavalue":{"value":{"entity-type":"item","numeric-id":3486546,"id":"Q3486546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$8E95FA60-50BB-46BB-BCB7-943491859BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ae50638ce92b1a108e070c6e8c405cde71e5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2895603,"id":"Q2895603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$6AC7173A-77C6-40CA-9CCB-479D22CB3149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaf8c2d8bc83dd856fb80629b20fc860136563e","datavalue":{"value":{"entity-type":"item","numeric-id":3952081,"id":"Q3952081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$15001AC3-F1C5-438C-A28D-CB7C24539B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$1404CB6A-2A3F-4086-8144-0FD8D8A2B2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3eb7668b27bb15ae82f326a903eaa1c10b8124","datavalue":{"value":{"entity-type":"item","numeric-id":5329145,"id":"Q5329145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$79ACDCB2-8444-472D-9FFC-266CBFB90C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$353D7E55-76DF-4E67-BF34-84F06121FE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d2e8aacbbb4ce1458c4ad8820abf0d257659e2","datavalue":{"value":{"entity-type":"item","numeric-id":1815425,"id":"Q1815425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$0B1E07F9-1B06-4761-AD87-69C79E8F3D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498741ab90bed18b1a6c15c490811df176dccd53","datavalue":{"value":{"entity-type":"item","numeric-id":4521289,"id":"Q4521289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383565$A717E55C-AF87-42F8-81D3-2276F7CA3D77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5caf812dd2222f5bd91edf9c27df85969a4a1840","datavalue":{"value":"10.1007/S11225-012-9419-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383565$D976268C-635B-4A14-B3F5-B816225AC8BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9c6583af7fe8df66a4e92daf0212373b3efd29","datavalue":{"value":{"entity-type":"item","numeric-id":1370458,"id":"Q1370458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0cd4ba411ccf4b905778d1bc64736d5825b0625","datavalue":{"value":{"amount":"+0.7463975548744202","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":"Q383565$185BEB60-AE15-4ECF-B18A-0A3E23992219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237b03943d1a94d6d30ad6542463040b1bec276f","datavalue":{"value":{"entity-type":"item","numeric-id":497427,"id":"Q497427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f475acf0afafb06df36bf720edf0caa7097391c4","datavalue":{"value":{"amount":"+0.7320412397384644","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":"Q383565$EE058B5B-75D0-4FC5-A8F2-2D1451DFD8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922a3a9f28cf86678f81064d6f1e9128ae1236af","datavalue":{"value":{"entity-type":"item","numeric-id":5039202,"id":"Q5039202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d59120e101d87412c67a70e78f6d847cec53d7","datavalue":{"value":{"amount":"+0.7243360877037048","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":"Q383565$358B4493-05D0-4381-BE18-4F65022B80CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e60bf09a3c49ca1c0087d9594f597bd54e45f28","datavalue":{"value":{"entity-type":"item","numeric-id":4424658,"id":"Q4424658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7d9c7e7b48e08bd3118ad21cb9bd1f6cec3d21","datavalue":{"value":{"amount":"+0.7008773684501648","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":"Q383565$5225583A-36B0-4A03-BC91-B51B6D97168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdce7ea47ca5f2672598ab75308ff61cb4ccb4e5","datavalue":{"value":{"entity-type":"item","numeric-id":4815892,"id":"Q4815892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3488c5469b341e3919cb76250f901f80b9852e50","datavalue":{"value":{"amount":"+0.6973365545272827","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":"Q383565$97DD371B-74CE-4DCF-AAC1-EFFAC2AB2F1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inverse images of box formulas in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inverse_images_of_box_formulas_in_modal_logic"}}}}}