{"entities":{"Q2277439":{"pageid":2288182,"ns":120,"title":"Item:Q2277439","lastrevid":49491448,"modified":"2026-01-07T07:17:15Z","type":"item","id":"Q2277439","labels":{"en":{"language":"en","value":"Models for relevant modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197955"}},"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":"Q2277439$FC300D04-C2B5-4106-888B-B10BE08B9C7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38e74d895dc948f928ce3aed8c6d623bbc6dc151","datavalue":{"value":{"text":"Models for relevant modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277439$DF86FA95-DB83-4963-B098-544003782AE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c23146919b8ccf9e13cb9f4b195cea1f3efe927","datavalue":{"value":"0726.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277439$171EA71D-D667-4A6D-B845-03223E87B7F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8cef7a6e52ec2927c195c2ebc6fa01729264f42","datavalue":{"value":"10.1007/BF00370161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277439$31AB4B56-494A-41A6-A486-74DD2DC6A6AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fdb89b3d76916071db859e5d9fbec62c76029a4","datavalue":{"value":{"entity-type":"item","numeric-id":484966,"id":"Q484966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$7D59BA04-A743-4CFB-9221-2DC7FE0B79AC","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":"Q2277439$73FEF6DD-D502-4D4F-B31B-76DDF6683117","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277439$90A58F48-ACA7-4EF0-8A2B-407C5AD48C62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ecddb314cb88b078c381e9868ee49953da428538","datavalue":{"value":"This paper presents Routley-Meyer semantics for a family of conjunctively regular modal relevance logics. Beginning with a very weak relevance logic L, extensions are formed by adding familiar postulates to govern implication and others to govern a necessity operator. The family of systems so produced is much broader than those relevant modal logics previously studied, primarily S4-like extensions of the system R. Most of these extensions L.M of L are weaker than those in that L is significantly weaker than R, and also their modal postulates may be weaker than S4-like principles. For the semantics for L, the author uses a class of unreduced frames \\(<O,K,R,*>\\), where K is a non-empty set of points or possible worlds, \\(O\\subseteq K\\), \\(R\\subseteq K^ 3\\), to interpret implication, and *: \\(K\\to K\\), to interpret negation. For the modal extensions L.M add a component \\(S\\subseteq K^ 2\\), to interpret the necessity operator. The constraints on S determine, in familiar ways, what modal system models based on these frames will define, e.g., what modal reduction principles will be valid, etc. Unreduced frames differ from more familiar reduced frames in that O(\\(\\subseteq K)\\) represents a set of points or worlds, whereas in reduced frames \\(O=\\{0\\}\\), where 0 is a single designated point (the real world). If models are restricted to reduced frames the completeness results established here will no longer be obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277439$972F0947-BEF9-46A5-A70B-FFA9396FC480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277439$DE5B72BF-CF49-4EC1-9BF8-92D400E341C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4942bf6fd564562ffe78219776e17ccdd979b3d2","datavalue":{"value":"4197955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277439$885F4682-3886-4D4D-92A0-6C572856B2CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277439$1CBB5FDF-18BA-45A9-BA62-924D767238C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854d8483f6e1d8ec7ee961a0d419332a360f0b4d","datavalue":{"value":"conjunctively regular modal relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277439$FFB50E9F-9836-4FBB-A733-4033F1357249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93ef830498ec4b20d23ca597469171417b879bf","datavalue":{"value":"unreduced frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277439$4AA17C78-C22F-4F97-B2AE-4FDB1FAF4DCC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$06641307-A02F-45B2-94E4-BBD58932FCB9","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":"Q2277439$0A338AE5-A065-4EC8-832A-A6459CD78A82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$FF1AA98E-364A-4A64-B1A7-605C5ECFA717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7cddca87b215cbc13baf70c47a604930b876b","datavalue":{"value":{"entity-type":"item","numeric-id":1068075,"id":"Q1068075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$30A4ECC5-27C7-466A-A5F3-9012FDE9BE7C","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":"Q2277439$81169879-6544-4E8F-81EA-D58741583176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$E2AC7A5E-57BD-4EF6-90CB-59A694F8F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$961C71A3-FFAB-4ECB-B029-FEBB811D746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$8107B398-C1E1-4048-BD21-143EB78E378E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8c81ff62c2e545ddf7d5a2887405cf334d4a40","datavalue":{"value":{"entity-type":"item","numeric-id":1187984,"id":"Q1187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277439$7E8A5C7B-DBE3-438F-90D2-A499F3EC4416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4813c9215d1456d91f964eb781ec4603dc99bd8a","datavalue":{"value":"https://doi.org/10.1007/bf00370161","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277439$D58E2DCE-2945-4829-96A2-3CA9461C1C17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d510fe1336270da993be5a06d038b7baf203e72","datavalue":{"value":"W2034678120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277439$64F8576A-E5BB-4E15-8A98-6507A3A15780","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07268f9682b7ae92c46216b68f48e0d13a595026","datavalue":{"value":{"entity-type":"item","numeric-id":1187984,"id":"Q1187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2f1f10aadc3a7597ce9e624ebe508219fb14ee","datavalue":{"value":{"amount":"+0.808046281337738","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":"Q2277439$EFA74AEF-9AFB-4A2A-B6C3-D11B1165D14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b11d185af863659a0b1821250d8842107f21ec","datavalue":{"value":{"entity-type":"item","numeric-id":1591336,"id":"Q1591336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2f1f10aadc3a7597ce9e624ebe508219fb14ee","datavalue":{"value":{"amount":"+0.808046281337738","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":"Q2277439$77D3C7E7-C070-4E27-A96E-3F8FE71ED9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2eaec27b155a34ed4e3ef987172b50d0dc8ff","datavalue":{"value":{"entity-type":"item","numeric-id":2735687,"id":"Q2735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ccc9d5355add6dd78e5236e3d2d8396a32cd03","datavalue":{"value":{"amount":"+0.8045608997344971","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":"Q2277439$91489BD2-1FFA-4E83-BFE8-13BC69C93D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fadcf4761b71eef8dcfae42ca978d2c7edb8c99d","datavalue":{"value":{"entity-type":"item","numeric-id":1203773,"id":"Q1203773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10bc84b643e379bea7ef54acedb76dd348b742b","datavalue":{"value":{"amount":"+0.8026703000068665","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":"Q2277439$DD9D1DB6-AED2-4CE3-ABA0-339649C16280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748cbca1695a8e0bcaee8b59e5e08079eef747cd","datavalue":{"value":{"entity-type":"item","numeric-id":558732,"id":"Q558732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eade09ebeffd3b7b9e2e9776f6390c5385353c5","datavalue":{"value":{"amount":"+0.7880870699882507","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":"Q2277439$7B1F278D-F52F-4257-BF4F-D710958E3EBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277439"}}}}}