{"entities":{"Q1087864":{"pageid":1098616,"ns":120,"title":"Item:Q1087864","lastrevid":66106146,"modified":"2026-04-12T07:36:18Z","type":"item","id":"Q1087864","labels":{"en":{"language":"en","value":"A story semantics for implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989319"}},"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":"Q1087864$2C085393-C308-4BF6-BC9F-0D8779EE4E8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da0542dcdfa7de16aad84924998c5bf22197fe18","datavalue":{"value":{"text":"A story semantics for implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087864$EFD01DB8-1A05-4035-8C23-F57EE947C0EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92c100a98843f25be614429858af08354b2b0fc3","datavalue":{"value":"0612.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087864$5773DA14-E540-46E9-84BF-CD28B103C328","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087864$E47C8FBD-1232-4A43-B88F-7E9CF80803E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1087864$E7ED8CB0-A58B-4793-B3A5-084E63FE34F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af911c75583376169f26f6d9c1243a9daa1ffafe","datavalue":{"value":"A key idea of story semantics is that stories can be used to provide a semantics for implication. ''That A implies that B'' [A\\(\\to B]\\) is true if for the actual world and all stories wherever A is true, B is true. Stories themselves are viewed as sets of sentences assembled under certain constraints. A is true in the story s iff \\(A\\in s\\). The foregoing is the evaluation rule for stories; evaluation rules for the actual world are the usual. While story semantics can accomodate a wide variety of theorems, the motivating intuitions are: (i) not everything is settled in every story and (2) not everyone and everything figures in every story. Thus \\(A\\vee B\\) can be true in a story that fails to specify that A is true and that B is true, (\\(\\exists x)A\\) may be true when for no constant t is Ax/t true. A may be true without \\(A\\vee B\\) being true, \\(A\\wedge \\sim A\\) may be true without B being true, A may be true without \\(B\\vee \\sim B\\) being true, and (\\(\\forall x)A\\) may be true without Ax/t being true for all constants t (in all but the first of these B[t] may import into a story an entity or entities that do not belong there). A model consists of an actual world and a set of stories. Semantics are provided for propositional, modal, predicate, and first-order axiomatics and completeness is proved in each case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087864$76D2A74A-9680-41F4-A32D-91E1573346B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087864$5A3EC9B1-3275-4328-B999-BCE52FDD34D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087864$84249B3A-2931-4EED-979E-BA001518C11E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30155e456941578d69816e3b502e3df2f8272786","datavalue":{"value":"3989319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087864$1B280497-F784-4203-BADA-0043F68F09AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab82af869efcfe5c7c4a6418541d86facc13cfa","datavalue":{"value":"evaluation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087864$A4CD8855-2EC0-4D23-974E-0D091C38FD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1caf9b32aba2b18b63b367cc69a4f16b22a929","datavalue":{"value":"actual world","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087864$649EE225-0477-44E1-A7EF-A44AE1041438","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b7fa13f1e90930c12a4371d1ecf899cf1746229","datavalue":{"value":{"entity-type":"item","numeric-id":581391,"id":"Q581391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087864$1151AC59-8C3C-48D9-BA47-F83C7834C1B5","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":"Q1087864$1DC3A9AD-9549-4CF9-899A-0FB78AF8DBEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f0c07c177080fdc2b8c60e3d7df50124df20e71","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636614","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087864$F44A8A6D-3761-47F0-8613-55B2823F1370","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88221c26c5ad8f67a921243178593de91a2451bc","datavalue":{"value":"W2026304975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087864$73BE7C4A-6448-4741-ADD5-6F21D93BD2E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1c5af505500fb8efe7aa10821fb52be1f752f78","datavalue":{"value":"10.1305/NDJFL/1093636614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087864$926B1975-32F9-4F76-9B4A-06E723404EAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48bc8dcf9d4d1a932480c7bd5a856bff7e38bb8","datavalue":{"value":{"entity-type":"item","numeric-id":581392,"id":"Q581392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede939aa024bfba8f56dbb96ce89476ae638236a","datavalue":{"value":{"amount":"+0.7995275259017944","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":"Q1087864$BDA28D7C-E1C2-4B62-B3CF-DAB0E1772845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f562469f2e8461185c1ff728440625b71e2b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3789528,"id":"Q3789528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8da603bd0a7472cb0b864609e13efbff299b134","datavalue":{"value":{"amount":"+0.7194516658782959","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":"Q1087864$E3596A00-FA61-47F2-919D-39730168375C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdff55574ae0dd43ba7166a10806db527ac8fef7","datavalue":{"value":{"entity-type":"item","numeric-id":2499288,"id":"Q2499288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb544c3e0ce81922f6d69b77cc1de6302bb520c7","datavalue":{"value":{"amount":"+0.7171382308006287","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":"Q1087864$8FBF78D6-6E80-4A8B-88CA-B4ADAF62104D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cea000b66028dac1bc8996543ab6acadb113a8","datavalue":{"value":{"entity-type":"item","numeric-id":2500773,"id":"Q2500773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570c3d725004640e1aef9d5c2682337de8d4adf7","datavalue":{"value":{"amount":"+0.6865296959877014","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":"Q1087864$B6573972-44F9-4B42-A421-A0D7C58B4557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9e2b5ecea57dfb862d55a6dc3b6bb54feafcf6","datavalue":{"value":{"entity-type":"item","numeric-id":916635,"id":"Q916635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247a6757e2b9ecf7e6adf4b4ed377af6b7fedc9a","datavalue":{"value":{"amount":"+0.6858490705490112","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":"Q1087864$B71037C2-8104-49A0-82C9-A077D592C52C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A story semantics for implication","badges":[]}}}}}