{"entities":{"Q1066883":{"pageid":1077635,"ns":120,"title":"Item:Q1066883","lastrevid":66074358,"modified":"2026-04-12T07:21:55Z","type":"item","id":"Q1066883","labels":{"en":{"language":"en","value":"Carnapian extensions of S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926882"}},"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":"Q1066883$FBBE9CA3-7780-4D69-958B-95FEEDB6C718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0614f8ec2e56e6a647f120a453e662d6ff880e93","datavalue":{"value":{"text":"Carnapian extensions of S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1066883$8127EFC1-12FF-4469-9998-5956A284CA0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b460c51c8b6f7f705032077c48dc3a4e37afe1f","datavalue":{"value":"0579.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066883$9DA9DF48-1E14-4FCE-BADF-26975814612E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d502072a4bf91967aeabcf0413905ab9b3151d8","datavalue":{"value":"10.1007/BF00245990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066883$8AE9B7F4-1E53-4328-B3AA-9777A2591FA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e8f51e2cfa50175b2d7f5b644607b4c0cab4c4","datavalue":{"value":{"entity-type":"item","numeric-id":796513,"id":"Q796513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$F8E78EA4-9C0E-4D48-B152-250C2261DFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee1e00d1bfd935f426eaf06039b93cb41533ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":1066882,"id":"Q1066882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$A8CFFC07-D0D7-45BB-8E19-E90548CECA4F","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":"Q1066883$ADF283C2-484D-4DA2-8F27-4D1C678ACFE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1066883$F7E3766D-F655-47DE-ACEB-79B08F87FC30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d27c900c13ae63f04aa84c98446859f74f5093c","datavalue":{"value":"The authors remark that Carnap's theory of modalities is distinct from Kripke's, even in the case where both authors find eventually S5. By using ''state-descriptions'', (i.e. sets of formulas which contain for each propositional variable either it or its negation) that do not correspond always to possible worlds, the authors give a system of propositional modal logic, \\(S5^{\\Delta}\\) corresponding to each set \\(\\Delta\\) of state- descriptions. These systems are extensions of S5, but they may be non- normal (in that case, the rule of substitution is not admissible in them), they even may be non-axiomatizable. As particular cases we find the normal extensions of S5, known by the classical paper of \\textit{S. J. Scroggs} [J. Symb. Logic 16, 112-120 (1951; Zbl 0043.008)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066883$B867ADCD-5D81-41B5-A787-93534B21B071","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066883$F1742B13-01CB-4320-B78F-BA2539BE0B8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4ac9b777769b90659812c41fd67c966ea00842e","datavalue":{"value":"3926882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066883$2E5B88B9-114A-40E8-A911-C1425367B12B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82394d67b1703b2493f42e85d54eb267ecdf7e35","datavalue":{"value":"Carnap","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066883$501262D5-B5C3-499E-8627-5034639D0271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066883$E1898E9D-EEF2-4306-BB68-A5609D659543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3010fd530b039a0b09ea2cdef897c33742de5","datavalue":{"value":"state-descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066883$771A06BE-24B3-45CA-B4FE-A03690FFE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066883$0E2EDD63-137C-4561-895B-2EA5487CFB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d76171585391e618f110a757d17b1a71a75b336","datavalue":{"value":"extensions of S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066883$46CEAE4C-3BD2-4AE9-858D-1FEA9E78035D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"90a16df7358da52c17b042a4d0438d9399668842","datavalue":{"value":{"entity-type":"item","numeric-id":1252221,"id":"Q1252221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$8137057F-FBB8-48B0-BBAC-29F2037401DD","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":"Q1066883$EC2A773C-39C8-4718-9799-616FA6B8FD1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69f37522343abd35ed025cc512dd2a67e21c314","datavalue":{"value":{"entity-type":"item","numeric-id":5842291,"id":"Q5842291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$D1FA3E7B-7893-483E-9048-93A697DAE675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b3a2715a0c64f13ac5db3c56210540211c8099d","datavalue":{"value":{"entity-type":"item","numeric-id":4257378,"id":"Q4257378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$5543A347-FBE8-40EE-A022-3212207DD3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$7E374419-C976-4839-805C-DCF4F64B901A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fa539ce7a087eb9e4cdefa0a22147c813d9f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1221091,"id":"Q1221091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$7281CF0A-A18D-4878-A9F0-5567C517744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$8E081DD8-3675-4628-8402-7814CADC2EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$E491574E-8B08-4018-9C8F-A7B8864041F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e11cbf3e457f0a32ed8b086e3160c0100b5638b0","datavalue":{"value":{"entity-type":"item","numeric-id":5553259,"id":"Q5553259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$E04B9D0F-87E6-4660-834B-CE183E8A2AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149c8be83766abac607d4f0779c9bac9133ae96c","datavalue":{"value":{"entity-type":"item","numeric-id":5646878,"id":"Q5646878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$9B84A702-28AB-4057-B650-3793709A92B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$47E25EFC-6423-40F9-B0B7-4167319277B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610c4ce18d93717aed8fea0917044e5effb66f85","datavalue":{"value":{"entity-type":"item","numeric-id":3962956,"id":"Q3962956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$8E8C819A-7264-43D6-A448-6570DBC4AF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e250ba8c2b1f0ecbce7e2a3047a90fd64d76f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5804992,"id":"Q5804992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$EDB380D1-3BE7-4D45-B96B-5E7CB3C7B112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab91346c99249d55ffcd373bc70342f696339726","datavalue":{"value":{"entity-type":"item","numeric-id":2556849,"id":"Q2556849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066883$1D52BF36-ACE7-4E8E-A027-0C7FF18355DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d6ae66cfc9f56ed51536ba97230f9c6d344419","datavalue":{"value":{"entity-type":"item","numeric-id":2702742,"id":"Q2702742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb33928d8e16f82373a1a24c9b3a3a48cc68bc7a","datavalue":{"value":{"amount":"+0.8538327813148499","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":"Q1066883$35852026-49E6-4F8E-9752-508F4C021463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536dea91eb59300eeac3f85cfd05c0704a62a2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5737984,"id":"Q5737984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13c5dca3638961870cf0b8d7c4af04586ca88fd","datavalue":{"value":{"amount":"+0.7664867043495178","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":"Q1066883$DD782B1E-F3C3-480C-8E7D-6D54FD85416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25d13c6abb908846ed4fb1904fd1a7f294ec78c","datavalue":{"value":{"entity-type":"item","numeric-id":4399516,"id":"Q4399516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d9f3dd8abc7efd65232c662c935282b5913638","datavalue":{"value":{"amount":"+0.7612597346305847","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":"Q1066883$94BF436C-FA70-41E9-8690-5A0EF480994C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602176a39ad1ad5829183620756797b3a8732975","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f0f79bd15af077e6e7c004ce4d74e08e3209a2","datavalue":{"value":{"amount":"+0.7609519958496094","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":"Q1066883$07E037FC-B0C0-448A-840E-19FE9720A179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c402336a50cfd0cd8747f38fcc77200ae56acdab","datavalue":{"value":{"entity-type":"item","numeric-id":2266004,"id":"Q2266004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182ef563e2040b2ff4e43930ac77593057621103","datavalue":{"value":{"amount":"+0.760718822479248","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":"Q1066883$B85A4543-C777-42D8-9340-AE1048D156BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Carnapian extensions of S5","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Carnapian_extensions_of_S5"}}}}}