{"entities":{"Q582275":{"pageid":584042,"ns":120,"title":"Item:Q582275","lastrevid":62937099,"modified":"2026-04-11T09:06:01Z","type":"item","id":"Q582275","labels":{"en":{"language":"en","value":"Notes on conditional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130345"}},"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":"Q582275$C84C28D4-B93E-435D-9E16-EFA19E024D16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f4cef1fbfd71e19a7c2b4bbc5288385dc0f3998","datavalue":{"value":{"text":"Notes on conditional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582275$5C9A2BFA-27BA-4117-8A09-9097EF778A3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cd7944e66e4361daa8966bb81b6e4567457c600","datavalue":{"value":"0691.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582275$1449033B-15D3-4C91-99F2-2C7F1845C850","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e00baca4e66d6fc34a881c2d8c0416c8a9c52df9","datavalue":{"value":"10.1007/BF02770509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582275$FACDC518-4C74-4789-83AF-D4ED4339ABDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582275$685C2AF6-10F3-417A-8876-39FE44931C83","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":"Q582275$FA3A8FF4-0DD9-4A97-981D-372520100A45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q582275$83070253-F344-49D1-B932-37FA8CF77B31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7505866175d106e241cfc264ffd998dfce29b07","datavalue":{"value":"In the seventies, R. Stalnaker and D. Lewis introduced semantics for counterfactuals making use of three primitive notions: possible worlds, one accessibility relation R, and for any world w a comparative possibility-relation \\(<_ w\\) \\((w'<_ ww''\\) to be read as: \\(w'\\) is closer to w than \\(w'')\\). The relation \\(<_ w\\) is new with respect to modal logic. In this paper conditional logic is treated as an extension of modal logic by introducing for every proposition A an accessibility relation R(A) and leaving out the relations \\(<_ w.\\)    A model M is defined as a quadruple \\(<W,{\\mathfrak P},R,V>\\), where 1) W is a non-empty set (of possible worlds), 2) \\({\\mathfrak P}\\) is a set of subsets of W (called propositions), 3) \\(R=\\{R(S)|\\) \\(S\\in {\\mathfrak P}\\}\\) is a collection of (accessibility) relations over W, and 4) V assigns to every atomic formula P a subset V(P)\\(\\in {\\mathfrak P}\\). Let \\(\\square \\to\\) denote the counterfactual, M be a model and w a possible world in M. Then \\(M\\vDash_ wA\\square \\to B\\) \\(:=\\) for all \\(w'\\in W\\), if \\(wR(\\| A\\|)w'\\), then \\(M\\vDash_{w'}B\\), where \\(\\| A\\|:=\\{w\\in W|\\) \\(M\\vDash_ wA\\}.\\)    A logic L is called relational if it satisfies the following conditions:    (EA) If \\(A\\vdash_{L}B\\) and conversely, then \\(A\\supset C\\vdash_{L}B\\supset C\\) and conversely,    (EC) If \\(B\\vdash_{L}C\\) and conversely, then \\(A\\supset B\\vdash_{L}A\\supset C\\) and conversely,    (M1) \\(A\\square \\to (B \\& C)\\vdash_{L}(A\\square \\to B) \\& (A\\square \\to C)\\) and conversely,    (M2) \\(\\vdash_{L}A\\square \\to T.\\)    The author constructs for any relational logic L a canonical model \\(M_ L=<W_ L,{\\mathfrak P}_ L,R_ L,V_ L>\\), where the elements of \\(W_ L\\) are the maximal L-consistent sets of formulas, and proves that \\(M_ L\\vDash_ wA\\) iff \\(A\\in w\\). From this result there follows strong completeness for the minimal relational logic. Using the technique of filtration it is shown that several extensions of the smallest relational logic, in particular VC, have the finite model property and are decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$00A07B45-4486-47FC-8C3A-F4CB94DEDDDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582275$A93861BF-0B5B-45D7-9097-CBA7F2FDCEF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"161c975785716da39fce8a139d592093ec3bb22d","datavalue":{"value":"4130345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582275$E73D72BD-38CE-4FA8-9E1E-8764E4962332","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95210e71eee757de5487308e781beaad8edf74a4","datavalue":{"value":"semantics for counterfactuals","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$CBFE3966-35CB-4A9B-A201-50356FBA89DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$6A6D07E9-AF36-42FF-B453-C59E389CC40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$E7B210D2-AF52-4910-8581-F181ECC54195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36b7415bfbcc11483a33bbd401381c27d08bdd4","datavalue":{"value":"accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$B919AB0A-EB4F-4610-9CB9-16CF8C413356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$AC0B6AFC-933E-41ED-AE5D-9B6488A87D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$9E33B5CE-DD5E-4D40-A23E-6E7BB283CD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$EDAFBDCC-FDB8-4B3F-9DC6-D939E9AB49A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56648436bc69574babbc2ceb18fe05313ae543e","datavalue":{"value":"decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q582275$AA71D970-714A-4CC6-B804-15C4E4F46616","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":"Q582275$D3AD4254-8401-4C75-80AD-2FA377346E09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08e36cece804174048ec4dc4fba774440537941","datavalue":{"value":{"entity-type":"item","numeric-id":754178,"id":"Q754178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582275$735CD362-B983-43AE-A2CD-67F1CE48ADCE","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":"Q582275$A02565A6-94B9-4CD5-B4AE-70D47EE20C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582275$6A7D3B9B-9B21-478E-B8EA-C6318A5CA8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0b226da85892073f8058f14ff8910adc336593","datavalue":{"value":{"entity-type":"item","numeric-id":5626607,"id":"Q5626607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582275$8C491FAB-3A43-4EE1-9510-BAA99AAFE781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582275$0ADD397D-0EE3-45AC-A909-BFA8DF64A431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562dbbe6451a4c4f0274343d01bc0cf8e50c7a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1770629,"id":"Q1770629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582275$B03DD1A8-5AD9-444D-9CBA-6BE37A79F5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582275$C7C3F1A8-E3A9-40CB-A81F-F9C067ED1A95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113686a2229a548b321e218972c5ac4cb8ae8f63","datavalue":{"value":{"entity-type":"item","numeric-id":4870566,"id":"Q4870566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea879c1169d7e2954be3a5a7767cc00f53f13c53","datavalue":{"value":{"amount":"+0.7898842692375183","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":"Q582275$4B4D3E2A-3D05-4D5F-A13A-E7D856DE12A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148eb4828b0881723155b3c4730c756148f09cd6","datavalue":{"value":{"entity-type":"item","numeric-id":1317902,"id":"Q1317902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8d19b3a81c014ab008192893d8a8dc543da9f7","datavalue":{"value":{"amount":"+0.7853553295135498","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":"Q582275$DA0BA219-5BA1-4328-93C8-43123BB80349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5cff7946ed3b3547459d00455f633751f62950","datavalue":{"value":{"entity-type":"item","numeric-id":4317727,"id":"Q4317727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f173c7e0d7b6bf58ac19ba64fc1720cf32a726","datavalue":{"value":{"amount":"+0.7788823843002319","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":"Q582275$B0CCCC4C-729D-42E2-BFA9-C3599900B456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af6470a20b4f23779bb510893cb88acc851c81a","datavalue":{"value":{"entity-type":"item","numeric-id":3677744,"id":"Q3677744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41d614223f948baf3227831b4c3082f672b2b0b","datavalue":{"value":{"amount":"+0.7744685411453247","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":"Q582275$275B5258-E99F-4F1E-9350-8AA690BDFFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e999c2e9d092b859fbb97ed4eca877f45ccf174","datavalue":{"value":{"entity-type":"item","numeric-id":2760429,"id":"Q2760429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a71a4507fdede259d3155c5f8ec37f874d4e34","datavalue":{"value":{"amount":"+0.7712032198905945","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":"Q582275$7074A4B6-6673-4970-8A66-156B2CF3BE1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notes on conditional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Notes_on_conditional_logic"}}}}}