{"entities":{"Q2804473":{"pageid":2815211,"ns":120,"title":"Item:Q2804473","lastrevid":52519400,"modified":"2026-01-22T20:58:24Z","type":"item","id":"Q2804473","labels":{"en":{"language":"en","value":"Proof analysis for Lewis counterfactuals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575405"}},"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":"Q2804473$48E45947-3E46-4A35-BE54-0B943F6127A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15d865628859701b58ba4c6d640df9cf7b6af3e9","datavalue":{"value":"1386.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804473$1D1A3498-A927-44AD-B71F-155B045F0D06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5ce7257b02bb881a659b0fc67e289ffe6ae3ed3","datavalue":{"value":"10.1017/S1755020315000295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804473$E423C608-9ABC-4EA5-999B-85F4E055F11A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$44DAC0AE-C50B-458D-990F-3797D72D93AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3525234c435b9a3934065c4f431bbf45a5543fc","datavalue":{"value":{"entity-type":"item","numeric-id":2148831,"id":"Q2148831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$DB87EA23-2068-4674-96A0-0D790098A018","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$E1A9E2DA-1D5D-4535-99DC-E0FDFCC2ECFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c64d6bdd320829ec442feaf78067f68056a43a6","datavalue":{"value":{"time":"+2016-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804473$AC89FE10-8D8F-450D-B070-50A0E77226CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804473$AC6835D0-B324-44D4-8F45-DEC66201036A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804473$C1692B8D-DDEB-4551-A41B-D2761B6DEA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804473$4B356568-DC5B-409A-8479-81630D4229DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804473$751BB3A7-4C21-41E9-8276-FC0382F9ED2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"470548570a7e199afad0f2e3e7a03d7a3311b450","datavalue":{"value":"6575405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804473$561AA16C-2D21-4580-A963-45609E5F4907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb208012d8629dcd80fa4f5d7ca3e71b61006e96","datavalue":{"value":"counterfactual conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$0BDEB021-333B-4604-B1C8-6AFDD515054D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19049eaa3f034cce838b708453553f3e8bd7cc4","datavalue":{"value":"labelled deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$D430EF85-7FB6-4E8E-80A3-E852F1CFB960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"865879b4a4db747fba966ae335da111b434fd3ec","datavalue":{"value":"labelled sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$74297ACC-8435-4B1F-A476-0BB1B5EC07B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$16C86A42-8A9D-40B9-9A17-AB33830EF1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$49F054C9-0281-4789-BF16-A0F046BBB4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$AE6D1D7E-BD30-4C5B-8E42-8C65AE64E859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$A87091AB-AE0F-4A27-B573-0F68E3EDCA29","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":"Q2804473$A71D7F6F-4397-43B5-A6FC-FBF0E079D4F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"681705dcf5be3e921794db5281199942324d94a9","datavalue":{"value":{"entity-type":"item","numeric-id":1047798,"id":"Q1047798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$6140B6F5-45A4-4A22-84FD-68BAC157A2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d53b4d0b65edc05fb0be75134b1388f4c6f47e2","datavalue":{"value":{"entity-type":"item","numeric-id":759003,"id":"Q759003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$77F94851-9DB3-4546-85F3-11592238BADE","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":"Q2804473$ACEC3664-F416-4FE0-80B6-F8D6ECE99D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$9FD30BAA-DD7C-401A-968F-34BAC5501F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$00601667-D06E-4848-9670-8EC27B2186D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ebc205fd77735bf4caa742e79e207073de0f642","datavalue":{"value":{"entity-type":"item","numeric-id":1203766,"id":"Q1203766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$D0ACE1FB-4387-40BC-B955-31434A4DBFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$7F3A42B9-FA3C-482E-BC83-B6FE9185CB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b960fac1f7ded72ced10a44be2b8b95ee26d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1221745,"id":"Q1221745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$D1B5E988-D0A6-442F-933C-3431829D7AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$2EBD09A3-B373-4751-972B-FA31DD5E0874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$18BB822E-285D-4D2C-AD19-D347768C499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05b88e8939da5afe0e37d672faef2e7bfef9975","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$E021852E-E43B-4626-A5D7-61A73C5A8D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$1A03D76D-1E15-4215-92A5-824137445FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$14CDB0D2-4E0D-4FCB-841B-86E62E097774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d445c7ef12d43dd508cd858b96c215919c29e542","datavalue":{"value":{"entity-type":"item","numeric-id":3043113,"id":"Q3043113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804473$CF792A69-BA39-497C-8093-1A5DC9B686B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eda442280b7b6779389550eb868617d11549ee8","datavalue":{"value":{"text":"Proof analysis for Lewis counterfactuals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804473$3FF7A164-FFFD-41EE-9486-3982067530B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d81e239740ff04fb1f2dd87ccc3a28a1e4fe9881","datavalue":{"value":"The authors of this paper together with others have developed a comprehensive study on labelled deduction systems, particularly those of Gentzen's sequential style, so as to cover many non-classical logics characterized by means of relational semantics. The logical aspects of counterfactuals, on the other hand, were studied by R. Stalnaker and D. Lewis mainly in 70's. NEWLINENEWLINEIn this paper, the logic VC of Lewis is formalized in a labelled sequential system. The semantical conditions considered by Lewis are represented in relational terms featuring certain ternary accessibility, and then give rise to logical inference rules in the labelled sequential system along the general approach mentioned above, where a sequent is constituted by labelled formulas (with variables for labels to represent possible worlds) as well as auxiliary atomic formulas (to represent the accessibility, namely, relationship between labels). For the sequent system thus introduced, the structural rules are shown to be admissible by a method established in general setting. In particular, the cut-elimination theorem is proved directly according to invertible principles of other rules. On the base of these observations, the authors show not only a direct proof of completeness, but a finite counter model construction as well according to the saturation of open branch on unprovable sequent, which therefore establishes decidability. Moreover, related literatures and further developments are also discussed in concluding remarks.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804473$1EE1FCEE-2C02-473E-9DC2-D538BE0B6B55","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":"Q2804473$39ABC8F6-CF5C-46F3-9C97-0361F28D8D6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b35930d5514a058f904bd3dd3d7489f48388770","datavalue":{"value":{"entity-type":"item","numeric-id":5215773,"id":"Q5215773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d4c5d1a96089215190aae8fdf420f2e61498d9","datavalue":{"value":{"amount":"+0.8760902881622314","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":"Q2804473$BC8E9FDC-F24A-40CA-98DF-0B32BC1E2600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f47c5807ec4c26ad7813709086bca4b61f6ae64","datavalue":{"value":{"entity-type":"item","numeric-id":1203766,"id":"Q1203766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1815720125cabd67e00a8c732f41c101ec739d75","datavalue":{"value":{"amount":"+0.8236192464828491","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":"Q2804473$6421C133-7583-4135-8B9D-5712BD309FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5443f8ddc00532f404e3da72715056f921b38b34","datavalue":{"value":{"entity-type":"item","numeric-id":3455776,"id":"Q3455776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6fda27325ecf9a73b3ff3e7813b27d655efc58","datavalue":{"value":{"amount":"+0.8236191868782043","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":"Q2804473$DB842CF9-6D7C-4573-A803-1B5E862E4EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e00a1bd49664e7ae85ebe69266408f0a5efa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5224572,"id":"Q5224572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61618d6f505278baffc9478d8a3e6b9b948b7332","datavalue":{"value":{"amount":"+0.8073161840438843","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":"Q2804473$44361129-98D7-4229-8F50-AE12D24071BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1641f843794a20b406390307a1588e85778a1ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2835877,"id":"Q2835877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6c5954aa144517aad1de7ac9df459fce0c0c77","datavalue":{"value":{"amount":"+0.7976288795471191","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":"Q2804473$3ADF527F-CBBA-44B9-92CD-EE6DE2A18661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804473"}}}}}