{"entities":{"Q1208151":{"pageid":1218900,"ns":120,"title":"Item:Q1208151","lastrevid":66351891,"modified":"2026-04-12T09:31:13Z","type":"item","id":"Q1208151","labels":{"en":{"language":"en","value":"The semantics of \\(R4\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166042"}},"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":"Q1208151$A5D2CFB6-DD93-402B-BBE2-EFE2EBCA9E69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0af2b6cff2826993d13af466122f44354ca038b4","datavalue":{"value":{"text":"The semantics of \\(R4\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208151$68E82B91-0568-4064-8AE0-79A86F00F555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7503ac48e47416b4b12ebb9cbf39ba1856bca5ae","datavalue":{"value":"0767.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208151$523968A2-706E-4408-BB86-02C7063E9C92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5c7fc7b9670f1e7bc0cfcc02a55e2caceeddaaa","datavalue":{"value":"10.1007/BF01049182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208151$76745D83-4218-411B-95B3-0F0F54E69E42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93eeb797a805b6920f698dde39c2c782589dabf6","datavalue":{"value":{"entity-type":"item","numeric-id":833036,"id":"Q833036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208151$06C2DA55-5E64-491E-A311-F7C570762EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208151$3DE00F61-576D-4E0D-ADC0-FC5F54D41C97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208151$540E0CF6-795A-4E2C-A164-91C3538D7F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208151$A3CA55CE-64F7-430D-B52B-0EC00CA8C931","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e34e0c92d52e77f01ea70cfcd1316f3bc7d078c","datavalue":{"value":"\\(R\\) is the Anderson-Belnap system of relevant implication; \\(NR\\) extends \\(R\\) with a necessity operator and \\(S4\\)-like postulates for it. \\(R4\\) is the result of adding the axiom scheme \\(\\square(A\\vee B)\\to(\\diamondsuit A\\vee\\square B)\\) to \\(NR\\) to make a system that includes all of \\(S4\\). This paper presents a model-theoretic semantics for \\(R4\\), and proves the system to be sound and complete with respect to this semantics. The semantics is a modification of semantics previously proposed for \\(NR\\) and follows the pattern of Routley-Meyer model-structures for relevance logics with the addition of a binary relation for alternative accessibility familiar from standard work in modal logic. The trick for \\(R4\\) is to design just the right postulates for this binary relation. That done, the proofs of soundness and completeness follow the usual procedures for relevance logics. It is also proved that there is a natural embedding of a Kripke model for \\(S4\\) in each \\(R4\\) model, and so \\(R4\\) is a conservative extension of \\(S4\\) as \\(NR\\) is not. The naturalness of the embedding suggests that \\(R4\\) is the appropriate way to combine the modal notions of \\(S4\\) with the relevance of \\(R\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208151$F28F9D2D-44C7-4687-859D-F41FA2EBE6F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208151$EFBFBB4F-0A0F-4831-B654-E94C40F14A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208151$076FB15B-F337-4E88-BBF2-6BF5EB73F94E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db05c8e1be408e9a2862f7c1ddceabb51b4313c4","datavalue":{"value":"166042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208151$FD1DAC8E-ED22-47A9-96E4-C72C6222B834","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d19dc99e30f4190ac827b2e3a1435739f0ee83","datavalue":{"value":"conservative extension of \\(S4\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208151$42487339-64F4-49DF-8790-E6FBB21AA9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b920d619edce09bc600cd1f34d3f9eec027397f","datavalue":{"value":"model-theoretic semantics for \\(R4\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208151$17A7F5C7-7ABB-4E4C-AE6F-109DE0C30253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab3f43c7ba3996fb9dd6fd646d43309abce9e33","datavalue":{"value":"necessity operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208151$E7E85001-7715-4581-B878-F0E8F6EDEDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208151$26841668-C995-4EB7-A6E1-783AD6FA9D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208151$F9467EC2-3350-41CC-9D86-BF75098CC5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208151$238EDACD-931B-4333-9EA5-E3BAB371D514","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":"Q1208151$E10A657D-AA89-4DD8-9786-1453C6BE0D75","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":"Q1208151$446AF52F-12DF-45C7-BB92-D4D42AA54098","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":"Q1208151$D9643E78-80CB-4A55-91E8-E034403462A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208151$EE18244D-0DAF-45F3-95CE-6C9F6CB5D617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03f53fffddc3c55154e05a164d56e78df9669c9","datavalue":{"value":{"entity-type":"item","numeric-id":1103606,"id":"Q1103606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208151$4CE8988F-A3A6-4A50-9962-7468BC89B152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e362ac0a00a56a2123987a0dfcbf152185be95f","datavalue":{"value":{"entity-type":"item","numeric-id":5579479,"id":"Q5579479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208151$26C0AED9-4D11-42A6-B7F6-AF194E451DA5","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":"Q1208151$6C32680B-A79B-4BB7-9524-8E193AB4C224","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":"Q1208151$D61CF520-37B0-49FC-B905-B6B96161EBC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4a3367b077cf949982db0efc9428d67a4a6310","datavalue":{"value":{"entity-type":"item","numeric-id":1203779,"id":"Q1203779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9283ac997c6d60ce1cbf55c54b6df5b160b5f4","datavalue":{"value":{"amount":"+0.8325656056404114","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":"Q1208151$5D529DD1-27A5-4674-B9E0-541BCB10522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca95064b3f7c74f16ab2ba1b4d5c2302502a046a","datavalue":{"value":{"entity-type":"item","numeric-id":5579479,"id":"Q5579479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55b48796a65026c214ad3f428836b153ce1ef20","datavalue":{"value":{"amount":"+0.8317686915397644","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":"Q1208151$B09118C1-56BE-405D-8201-7E147ACDF996","rank":"normal"},{"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":"f4ad98fce95d7c20717bb2d0e6055da4cf45e73a","datavalue":{"value":{"amount":"+0.7947880625724792","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":"Q1208151$006170A2-2829-4EF0-8028-679C9B6C8C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cdbd2312b9917ed30a5f7b7f2c6a64641fe03e","datavalue":{"value":{"entity-type":"item","numeric-id":3789527,"id":"Q3789527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ad98fce95d7c20717bb2d0e6055da4cf45e73a","datavalue":{"value":{"amount":"+0.7947880625724792","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":"Q1208151$D9DAC92E-C6CF-429B-9638-52E974E08894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8da8f10c21b92ca85b11b9cc30a73c0e767fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":1876086,"id":"Q1876086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9fc8c51dd2142ee2e4f759671c76211ac77028","datavalue":{"value":{"amount":"+0.7863489389419556","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":"Q1208151$1EB2BDE6-B090-49FD-8899-7A3BD1EC6968","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The semantics of \\(R4\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_semantics_of_%5C(R4%5C)"}}}}}