{"entities":{"Q1591336":{"pageid":1602076,"ns":120,"title":"Item:Q1591336","lastrevid":47551342,"modified":"2026-01-02T01:33:59Z","type":"item","id":"Q1591336","labels":{"en":{"language":"en","value":"The incompleteness of RGL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546770"}},"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":"Q1591336$00DC406B-C0D1-448A-92B4-3221B98A7C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca7d8bcd4f3d7c1fb5a65672d1ba54c1aa155c76","datavalue":{"value":{"text":"The incompleteness of RGL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591336$BA9ADDE9-D888-409A-858B-70FD4E7973E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51f1da604bea912f0a0315a1794e961369470d8b","datavalue":{"value":"0969.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591336$F7ABEE1D-5D3F-403B-A56F-FFE8A4B25F06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"235052bb6134bfa87b25380feac5583086f448f3","datavalue":{"value":"10.1023/A:1005283629842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591336$ACB08ECD-2CE0-4D94-86E4-A6BC29B44BDF","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":"Q1591336$036C5143-8A72-4D06-AF9B-210796C97094","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":"Q1591336$E4B0E801-AC2F-4707-AEAD-98808DDC9E05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5304ee1acd0d951d9b3b4a189a7d247f2a4fdb47","datavalue":{"value":{"time":"+2001-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591336$D429CFC2-2A09-47A7-876A-2677E7D5B3A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c576f88a824d2ac7a386fe08249dfddc62a2637","datavalue":{"value":"The relevant modal logic RK is a version of the normal modal logic K based on the relavant logic R and has been shown by Fuhrmann to be characterized by a class of relational frames introduced on the base of Routley-Meyer semantics for the relevant logic. The author proves in this paper that the two relevant modal logics RKL and RGL of provability are incomplete with respect to the semantics, where RKL (RGL) is the extension of RK by the L\u00f6b axiom (and the 4 axiom). (The 4 axiom is not provable in RKL contrary to the case of normal modal logic GL.) The proof is carried out by a formula which is valid in any frame for RKL but is not provable in RGL. Moreover the formula is of an implication form which violates Belnap's variable sharing condition for ``relevant'' logics. This means that no extension of RKL can be complete with respect to the semantics and ``relevant'' in the sense of Belnap.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591336$A4480C03-EAF1-44C4-AD2D-1A50691CB569","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591336$2047FC9B-B76F-4A55-8C9E-2566039C06E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591336$7C832383-27AE-45C7-A6CD-394193A743BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591336$1B5D662D-516F-42D8-8C05-68B91205F174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591336$4F3E58FA-00AD-4421-B8EE-970F65BEBBB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ebeb072d059d5a98729c170865d38fd303fb2ca","datavalue":{"value":"1546770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591336$D9CC9339-2252-4076-8925-EDB5082EB33C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591336$5FC04211-D610-4377-BCAA-336A9ED73FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591336$B9B7529B-07A1-486F-B7F6-D84CD7C910D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591336$13A34E08-9539-4417-97C5-59059C8454AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591336$42776E68-E209-4BD8-869B-0EB45763FBDE","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":"Q1591336$3B900D6E-4D1A-46F9-8978-5AEC6352A0F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7adc9b500f43b736fdcb55ecaf88ade193f90f14","datavalue":{"value":"https://doi.org/10.1023/a:1005283629842","type":"string"},"datatype":"url"},"type":"statement","id":"Q1591336$25EB5E72-C406-4023-BBB1-825E46EFDF32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85e33fc65b59fdd10144a582cc460fd93335263e","datavalue":{"value":"W1517749420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591336$AAB6DB5F-141A-43E5-AC7B-BA0CDDF8344F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742793c0c0680243556b20a84b177d1654bf22b6","datavalue":{"value":{"entity-type":"item","numeric-id":1073780,"id":"Q1073780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c975e9bc841e8a9b0e3553274df87972df9ac9","datavalue":{"value":{"amount":"+0.7729265689849854","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":"Q1591336$36EEA58A-8A22-4388-8C53-BD1CABDE4A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1f6e7758b057f89b2be8144eee5f6969a556a1","datavalue":{"value":{"amount":"+0.7708218097686768","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":"Q1591336$DD4D2C56-8164-4588-8E5E-92B0DE467CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266ce4026e37f619dcf0c79dcfdf5499bb3cfe9e","datavalue":{"value":{"entity-type":"item","numeric-id":2776807,"id":"Q2776807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a42eafca142af7bc34be66c200dd587938f122","datavalue":{"value":{"amount":"+0.7706496119499207","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":"Q1591336$A3753A1F-A06A-4436-858A-5F8915A523A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e2fc9562a28e88d37e249f97399827d2fca8c0","datavalue":{"value":{"entity-type":"item","numeric-id":923070,"id":"Q923070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea6d7168686431886bdfedead2b24252169e313","datavalue":{"value":{"amount":"+0.7669665217399597","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":"Q1591336$7801F5D2-B714-47C3-BDE8-CC434BD49ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1449106cfed8f1e3cca3f8c48857b82fd72775bd","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df18a9b90642ffdd0d641daa64366ec29d89e28","datavalue":{"value":{"amount":"+0.766947865486145","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":"Q1591336$6B7AE148-18BB-4AF5-A920-72950CE6AF4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1591336","badges":[]}}}}}