{"entities":{"Q2276944":{"pageid":2287687,"ns":120,"title":"Item:Q2276944","lastrevid":49478086,"modified":"2026-01-07T05:39:55Z","type":"item","id":"Q2276944","labels":{"en":{"language":"en","value":"Axiomatization of `Peircean' branching-time logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193646"}},"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":"Q2276944$6F56C6B6-1F6C-4695-88BF-9079C5A649B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7266b5ecc3e02d0b4d435670707f22d1af7cf4fb","datavalue":{"value":{"text":"Axiomatization of `Peircean' branching-time logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276944$954F0730-B823-4126-BC0C-6605CC469930","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"032e444cc2ce4116f1abd70e85a0f260e1e7ec9b","datavalue":{"value":"0724.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276944$9265FFE0-14A1-4FA2-8677-A2C8490FD575","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66bd328d056e23cb5d10d955fda9a396b9a4afe5","datavalue":{"value":"10.1007/BF00935598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276944$1EB46A35-47DA-412F-95BF-8C3648A5B6EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276944$ACAC0B1F-478F-4F82-AFD8-61136582E184","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":"Q2276944$8185A94D-5CBD-4809-AE39-7638BEE89643","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2276944$F394D913-25BB-4732-B93E-374665F446D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d277f5291ece3e654a019236fbbf1d69cbebbfc1","datavalue":{"value":"\\textit{J. P. Burgess} [Stud. Logica 39, 203-218 (1980; Zbl 0467.03006)] has given a complete and finite axiomatization of the ``Peircean'' branching time logic involving, yet, a rather unusual derivation rule which proved to be a version of the irreflexivity rule of \\textit{D. Gabbay} [Aspects of philosophical logic, Synth. Libr. 147, 67-89 (1981; Zbl 0519.03008)]. The author gives here a complete, but infinite axiomatization of the same logic using only ``standard'' derivation rules of tense logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276944$7B7DA675-4FEF-4B09-9FB8-2FD5500CDF94","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276944$A946C7FF-6FB9-4F53-8D54-F12EBF4280C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276944$6B82F7EF-42FB-42C0-AE22-CCB1DAB33859","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d72b99fc250690eff5f53c2373c867e9404d4be","datavalue":{"value":"4193646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276944$0918F15A-34E1-477A-8C3A-BB70B59D3D5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276944$B07976B3-4DF5-4E42-8EC1-A744AD33ADF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c6100658c39b62cb123bfef5c4d52eb39d135","datavalue":{"value":"irreflexivity rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276944$0285E15F-6323-4C75-B65B-A29838C4A6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276944$EECEC2E7-75B9-42A6-A4D4-618FB5C7A3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276944$1C57F0E2-BE85-4733-9D1C-BF322F58ACA0","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":"Q2276944$DC7D6482-DCCC-446A-A477-397F9059FDEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276944$0C17FDF1-B034-4E5C-90B9-3A1507E6FFF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"631cd714f692655e78464c25b02c1efd9cefae83","datavalue":{"value":"https://doi.org/10.1007/bf00935598","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276944$F27A9F95-8949-4F9B-9952-249B5256E04F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d58b6533e16c99eba5c5e59edfc2c593a2bd436e","datavalue":{"value":"W2015217647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276944$D7428294-9DE6-4C47-AA35-751A6F9B8A4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21bba9bb1d120a5a91d6c7c48e6a3b546e5e7e3","datavalue":{"value":{"entity-type":"item","numeric-id":288245,"id":"Q288245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3693a18b5422c98832d3143107bed96b82606431","datavalue":{"value":{"amount":"+0.823259174823761","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":"Q2276944$08806074-A324-473B-8326-03C8521FD592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d663a691c4706fb79a5de91418a053ff9811c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5894818,"id":"Q5894818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a6318ead35e4d2c9d153366c0c0712431f82ab","datavalue":{"value":{"amount":"+0.8101533055305481","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":"Q2276944$7E1515A5-3A23-4910-BC49-3442CAD8D39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72ea4bea2ca32c16557917415d30c835acde50a","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d60e7d91e02cd2d42a8e8cf6f7b188f663d6828","datavalue":{"value":{"amount":"+0.7952282428741455","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":"Q2276944$AF518021-1AAB-4B8A-A730-5B0DB3C11254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b0f048830b5858cf7bd8523c2da2ba3917d7be","datavalue":{"value":{"entity-type":"item","numeric-id":2276945,"id":"Q2276945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cde1eae8633bbb169a1975896cc0a3241b963a","datavalue":{"value":{"amount":"+0.7847421765327454","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":"Q2276944$052B514C-347F-4F14-88FA-6BEE3DA7395F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f81aa2aaef83289dd62a4e56a0e4bb731fda785","datavalue":{"value":{"entity-type":"item","numeric-id":1203784,"id":"Q1203784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b472e5cfcaa947f55bb2d6d296759c15a8e852","datavalue":{"value":{"amount":"+0.7813928723335266","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":"Q2276944$29ABF95D-03A2-4DD0-A6A3-F9AA07D97FED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276944"}}}}}