{"entities":{"Q1924324":{"pageid":1935066,"ns":120,"title":"Item:Q1924324","lastrevid":69316335,"modified":"2026-04-13T06:11:38Z","type":"item","id":"Q1924324","labels":{"en":{"language":"en","value":"Modal logics in the vicinity of S1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935222"}},"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":"Q1924324$127F2CE2-794D-4190-B395-76A298158826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7e849f4e4a4aa55ef1efabe43f2646167b9055d","datavalue":{"value":{"text":"Modal logics in the vicinity of S1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924324$B2E33631-E43A-4349-992F-31F9C216CD61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0287ac6cbd132cc92664cd6c4ef9eb3ef10d54c","datavalue":{"value":"0859.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924324$6075BC19-937F-428D-A570-1AAF925185EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef0b6c19bfcffb086b88ed5f14b6779c5a5b09d","datavalue":{"value":{"entity-type":"item","numeric-id":1207432,"id":"Q1207432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$A61AE6ED-2C57-4A3C-A7EF-0CF665A13007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$FA65C0A0-B54C-45CA-AABF-62F8C06DDC88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$3E805272-53D7-4ED4-AB55-BACF6128A665","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987a2f2e82526aa2085dc97bf2e88574c6b234f8","datavalue":{"value":{"time":"+1997-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924324$23A27718-BD10-4432-A2AB-356A75E72484","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35dce065ebe6ec23d296fc7d80affcc67a1ca69e","datavalue":{"value":"The authors define prenormal logics and show that certain well-known nonnormal logics are Lewis versions of corresponding prenormal logics. Determination and decidability are shown. Cresswell logics are introduced and characterized. The formal apparatus consists in a combination of relational and neighborhood semantics. The paper is a far-reaching contribution to the ongoing discussion around \\(S1\\).   A logic is called classical, if it permits replacement of logically equivalent formulas.   A classical logic is called prenormal, if it provides the schema  \\[ \\square \\mathbb{T} \\to\\bigl(\\square (A\\to B) \\to (\\square A\\to \\square B) \\bigr). \\]  A Lewis version of a logic is the smallest logic that extends that logic and contains \\(\\square \\mathbb{T}\\).   A Cresswell logic is a prenormal logic closed under the Cresswell rules  \\[ A_0 \\vee \\cdots \\vee A_{n-1}/(\\square A_0 \\& \\cdots \\& A_{n-1}) \\to \\square\\mathbb{T}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$550BFDDC-E9D4-4B48-B714-2A4258C64FC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924324$EB75E17F-867B-44D9-996A-7BE7029215DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c7068e6cba5bd56e2be05770f4ea94b1a83bc2a","datavalue":{"value":"935222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924324$33A4B23C-3CF8-4205-AB16-20E1CFE0EA70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6fb9af910fc68a5b18c7eb2cb3163d0d41fcd5","datavalue":{"value":"Lewis systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$FB30F3DD-7905-4E66-842F-3E1361FA91FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21a49c6a88bb77907f116b68ee81b65f27cb247","datavalue":{"value":"determination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$6CBE96A5-4D04-499D-BA14-49563D4B0E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16c2463beb47ef2e26f97a4c06db50da17b20fbc","datavalue":{"value":"prenormal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$A6FFD7BB-E1F9-4029-984C-2D0F7A89FB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591bbe72662bc63bd4bd4d89289980ac9cba955b","datavalue":{"value":"nonnormal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$7178C6E5-DD0F-425B-AE15-163321CDED19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$9224B863-8361-4A1D-AA67-95F876EA77A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21900c0759a9b20b4d29ca19a450193799689ad4","datavalue":{"value":"Cresswell logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$5EDAC9E0-0D76-445A-808A-D92CFC0CD8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29193d78fb0b92fb9c6a7c840db6fd6b78561399","datavalue":{"value":"combination of relational and neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$13E0BF02-B812-4D43-91AA-0F374E0F5AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7b6f4f5ab32b0ac4a84b992b9d6e751da121b6","datavalue":{"value":"Lewis version of a logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924324$20AAEF76-8CEE-4613-92D6-599ADDF969B8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3e436490379ff48a2ad372f72fab79122905c571","datavalue":{"value":{"entity-type":"item","numeric-id":1293001,"id":"Q1293001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$821B8B6E-AD41-49AD-B158-CF7F4351EC9B","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":"Q1924324$DECA6C05-155F-4134-92F4-1B26E1FB8CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"734a2200872feae1c1733aafdd3f0b4c77655e1f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040067312","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924324$38076035-4863-4193-BE9B-330B7F6AC801","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2cdae1adcc90209fdf2d051e84d90bafc23dd50","datavalue":{"value":"W2151163617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924324$55FC7EAE-7943-4828-AC9D-2D60B2F5F3B8","rank":"normal"}],"P223":[{"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":"Q1924324$3F14B460-AFD5-4FC9-9703-FDAF67333716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb5037f851962569191306a95268775e451fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5335309,"id":"Q5335309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$3FE260F8-807C-49AF-B248-97250C350F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2638fcb54ca98d410609216e1faa0730dbb1b5","datavalue":{"value":{"entity-type":"item","numeric-id":2555061,"id":"Q2555061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$AFB439D7-114D-4065-A28F-F97B4119CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$FEC2737C-8F1F-44B8-A767-65DC325E2932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$89C176E9-B798-49A9-9EFB-AE75EA973D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371429f546a4764331068bb46ddde929cdbbb450","datavalue":{"value":{"entity-type":"item","numeric-id":5546768,"id":"Q5546768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$EB0132F6-6D88-44D8-A0AE-E17C82C16BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49aac5f0993f3da62ffeac9b52938c987eb2f49d","datavalue":{"value":{"entity-type":"item","numeric-id":3248013,"id":"Q3248013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$32182AF7-52EA-429D-8197-17C68B93F5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$701D9656-130F-4C9A-B124-17C5819B70A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e57365e1930192be9952344e4613696b0013b06","datavalue":{"value":{"entity-type":"item","numeric-id":3257760,"id":"Q3257760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$CFB1044E-1565-4F82-B595-B9A6D31BFDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e5deaf7277eddb6b7adb1ca55d5134bc8ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":1213437,"id":"Q1213437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$1792F17C-74C3-4F13-B1B7-48F67AB4BB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b315caacd873443b305e46c02b5268e23de849e","datavalue":{"value":{"entity-type":"item","numeric-id":4757372,"id":"Q4757372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$D840A4B9-76C4-4BA9-A755-9DC7E7368989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$4666F1E3-1808-4E60-A9A9-C16D49070CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1eebd9872a4f7cc19887f0c3a3734a49204daf","datavalue":{"value":{"entity-type":"item","numeric-id":2535236,"id":"Q2535236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$53D83CB1-F1AC-4AF5-BED8-D8CA5F257B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d2ce866aade83c23f27f73c552342f56a1be2b","datavalue":{"value":{"entity-type":"item","numeric-id":1368753,"id":"Q1368753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$732DA38C-AB17-4CFB-B924-8B4076CEFA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb550e10772e3bce6a236ee3311a86e8f20d29a","datavalue":{"value":{"entity-type":"item","numeric-id":3199392,"id":"Q3199392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924324$2139AE70-EAAA-4392-A2E9-B7C1BC6001EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2e827892d54dc32f7f086137c1b485ea83e9ae9","datavalue":{"value":"10.1305/NDJFL/1040067312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924324$301C28C1-03A0-4347-BF81-1C13FD11BB8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40f80012e4b63db769ca19550181607f4eb889c","datavalue":{"value":{"entity-type":"item","numeric-id":5437000,"id":"Q5437000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb2bf84dca26b32cc1de7938c253b575c0593e7","datavalue":{"value":{"amount":"+0.7738227248191833","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":"Q1924324$59A57B19-1C7C-48CB-B597-0C5BD9EAAAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cfc67bd291972c28cee1d8580cef07e3f0cecd","datavalue":{"value":{"entity-type":"item","numeric-id":5419870,"id":"Q5419870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa22bf50dc68ca94ec06e12a34e8c585ed33706","datavalue":{"value":{"amount":"+0.7398300170898438","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":"Q1924324$9AE9BF17-E8B2-4355-ACCE-C8FA86FDA2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8023dd7f576007ce2677a8092b408c9cc3f9d9","datavalue":{"value":{"entity-type":"item","numeric-id":5688815,"id":"Q5688815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3bb85cbce73916eb6659f26c5d019a07785dbd","datavalue":{"value":{"amount":"+0.7239958643913269","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":"Q1924324$73AA1D89-0825-43BC-AAB8-C9C8AD00925C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec68b7514932fa081f3a95dbc448f7d956f5848","datavalue":{"value":{"entity-type":"item","numeric-id":3199392,"id":"Q3199392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc92f6a3b08fbacc372c045cf721c776e3c6b63","datavalue":{"value":{"amount":"+0.723923921585083","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":"Q1924324$6BCEF720-2629-42B7-9408-93241E679A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d196e86d5c9650d1e63fdeff70b7d675f83d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3762286,"id":"Q3762286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4514af47f3fcfe1c34bd613648922721d58727","datavalue":{"value":{"amount":"+0.7029660940170288","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":"Q1924324$CBF19C94-84C3-4818-BFE2-2C6F458D15D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics in the vicinity of S1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logics_in_the_vicinity_of_S1"}}}}}