{"entities":{"Q5963201":{"pageid":8140003,"ns":120,"title":"Item:Q5963201","lastrevid":42015303,"modified":"2025-05-22T12:27:25Z","type":"item","id":"Q5963201","labels":{"en":{"language":"en","value":"Note on extending congruential modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6550122"}},"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":"Q5963201$EB2AB5DF-0C22-443C-89FB-E7D77F902D97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c462e956b5353193bb06350b535df42b347fff5d","datavalue":{"value":{"text":"Note on extending congruential modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5963201$587DE110-4C41-41FC-97E9-40CD9EF56013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb594312f51c3ac4bb2a696d9c53fbfab9d48249","datavalue":{"value":"1350.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963201$6ADA0D48-0160-464B-AEB8-405C2703BE0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af9da203e916918ea605b09c3b0a0a39bc4ef4d5","datavalue":{"value":"10.1215/00294527-3315588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963201$9C33C4DC-0B57-41ED-995A-42FCD65FF32E","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":"Q5963201$4963915A-CFEC-449A-BCDB-0687B7D769A4","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":"Q5963201$8B2C89E2-FD64-4165-94BC-E91C465B9F95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9baa329984daf997c3bf5a084a91839bc1428d33","datavalue":{"value":{"time":"+2016-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5963201$96FE75C6-E973-4F90-8670-CA3CCFF8EB8F","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":"Q5963201$5A1B113F-3661-48E2-9905-0123B7F8F0C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963201$F9048BE7-F849-4DC6-BD05-7ABD65FEE6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9339e2e8224b6492c532f61754f23c4c5ccd2265","datavalue":{"value":"6550122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963201$03240C11-F6B4-4C52-AC08-02365D48E980","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963201$CF83E9BD-3288-452F-97B0-0256F2951AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c690e60ee533519910eb068b3e141085575ad1a","datavalue":{"value":"neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963201$2E3262AD-3C04-499A-BA46-F51604044D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2cfc6557b2ad7da081950e0dfc55354693699d","datavalue":{"value":"congruential modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963201$2B84F8B3-958E-4A7C-A0B5-62FB9D0A29F5","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":"Q5963201$746A24F9-CD1F-4340-97AD-33B52BB8FA52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a29a9a42f5d42015362ebab786e7bfa36e620e32","datavalue":{"value":"https://doi.org/10.1215/00294527-3315588","type":"string"},"datatype":"url"},"type":"statement","id":"Q5963201$1DD3F3C7-F3FD-47C2-A2AA-A2FF02B8E41E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfb2370526305fa1b5a8f215a477a475489b1744","datavalue":{"value":"W2213873706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963201$3C9EEC46-8857-4A1E-A096-F9213F38F5D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a4dc972281dee278d7d9e39d6a07b6fe2312b0","datavalue":{"value":{"entity-type":"item","numeric-id":506374,"id":"Q506374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e0988927decd3ea5fdc95a4b70d9fb97e1dcc1","datavalue":{"value":{"amount":"+0.912047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$57BA3AE6-4298-423B-B557-87951522BE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3625ef4cff7a2d64579d4d761b853e719a23638c","datavalue":{"value":{"entity-type":"item","numeric-id":1975165,"id":"Q1975165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cbbc30c7cbb80e21a8ffca4f3cf4b02e57689d","datavalue":{"value":{"amount":"+0.91033876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$B6E7F044-EEAA-4215-BD0A-F129E0D7F3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc04d1671725924d225331ac46fd8c4c170b551","datavalue":{"value":{"entity-type":"item","numeric-id":2145869,"id":"Q2145869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cc2a0861dfcd16001064e0474c175178152869","datavalue":{"value":{"amount":"+0.9081023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$F2762FDB-A794-483A-BA1E-8A4BF9DA9375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4b430be606e38555c56149aa3e102f268e3d33","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f832cec3df83a17c6cd0b92eac0408031be85617","datavalue":{"value":{"amount":"+0.90797335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$5CEC5B01-9750-4219-A61B-BE13FC324843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f48c55e91a739c76b3000885074b07f66cb493","datavalue":{"value":{"entity-type":"item","numeric-id":3781739,"id":"Q3781739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33dd056163d615bb57c7d6d2e81c11756161844b","datavalue":{"value":{"amount":"+0.90543664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$DC6C7EDF-1B41-4CB6-A43D-4F1D2B3B0A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3baccfc2dfc8e13cba7b006ef3be6827e6c6e698","datavalue":{"value":{"entity-type":"item","numeric-id":4851412,"id":"Q4851412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845d537b1596856e48657357ddc541d32f076399","datavalue":{"value":{"amount":"+0.90532815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$43D26EA1-92EF-470C-9337-8A596E16A9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a020c71a67a59da90c8fb138f5c0ed619d11d2","datavalue":{"value":{"entity-type":"item","numeric-id":3469083,"id":"Q3469083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da11fea04b5088ea411d2418bf380a25b21613c2","datavalue":{"value":{"amount":"+0.90437996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$D6F2DE02-E593-4732-B8B7-71F8C070D336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c70cd15ecda03d51113f6e752fd5f08adb01944","datavalue":{"value":{"entity-type":"item","numeric-id":4551606,"id":"Q4551606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86da441ba376a6a96d0fdeacd7ba1ee270846423","datavalue":{"value":{"amount":"+0.9040887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$C33AAFFC-1237-4E4B-8DD8-ED26E2EB7EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4918dcc0852802501c8da716cb79c534700ae418","datavalue":{"value":{"entity-type":"item","numeric-id":3509053,"id":"Q3509053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e98bd571201e2642bb1997cad03e4dfbba2c4a","datavalue":{"value":{"amount":"+0.90284884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$5CBD0B8D-E944-43FD-B22B-97F61B702DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4390ac6a0342a042a5b20950845f5e22e36784bc","datavalue":{"value":{"entity-type":"item","numeric-id":1119622,"id":"Q1119622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8367cb0862247ba344b0963e34a189e8f09ea690","datavalue":{"value":{"amount":"+0.89551115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963201$324FBED8-337C-4F31-90CD-9439B4CC49A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4107ebe38c188cad2f9847e22f7020749282bee","datavalue":{"value":"If \\(A\\) iff \\(B\\) implies \\(\\square A\\) iff \\(\\square B\\), then this modal logic is called congruential. The current paper studies some model theoretical properties of congruential modal logics. In particular, it studies under which conditions which formulae produce sublogics of identity logic, which is a system containing \\(\\square A\\) iff \\(A\\) for any \\(A\\). This research agenda was initiated by \\textit{D. Makinson} [Notre Dame J. Formal Logic 12, 252--254 (1971; Zbl 0193.29301); J. Philos. Log. 2, 193--196 (1973; Zbl 0266.02016)], and the current paper improves upon it.NEWLINENEWLINEThis digestible paper identifies various other formulas extending congruential logics which are sublogics of identity logic. The author achieves this by considering quite understudied models of modal logic, that is neighborhood models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963201$F8A49388-6A77-4295-8F06-221F87C0FCBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5963201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5963201"}}}}}