{"entities":{"Q2080703":{"pageid":2091445,"ns":120,"title":"Item:Q2080703","lastrevid":54415490,"modified":"2026-01-26T19:03:07Z","type":"item","id":"Q2080703","labels":{"en":{"language":"en","value":"Measuring inconsistency in some logics with tense operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7598587"}},"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":"Q2080703$7DFDFA34-C5FE-4B74-9BBE-5F51191AF5CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5577e084d27c402c5259aa8527e49889d4af0d7b","datavalue":{"value":{"text":"Measuring inconsistency in some logics with tense operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2080703$FE3D6EDF-88FE-41A2-B0AC-42667BD6AE14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d688536085006b6a08ad70a917ae37e3479342cc","datavalue":{"value":"1506.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080703$55EFBFE9-D0C6-4591-B19D-A61CCB042AD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57cfbd9f0934725841932225c55414a80ff9f625","datavalue":{"value":"10.1215/00294527-2022-0020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080703$7792CB4A-B2D6-4642-94E4-9B6B497B48B2","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":"Q2080703$297D708B-200D-47EB-B751-A92D4EFD75CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40ab64c4c781e11a8d3b6e5227de6d8a2ebe419c","datavalue":{"value":{"time":"+2022-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2080703$3D937B22-9860-4F67-9E7A-AC255B65DB5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4e5bbc86e1b68f729fba31ef4a56fab21e5045c","datavalue":{"value":"The paper presents a study of inconsistency measures for propositional tense logics in the standard Priorian language with tense operators: \\(H\\), \\(G\\), \\(P\\), and \\(F\\). The original idea of inconsistency measures for propositional logics goes back to a 1978 paper by the same author [Notre Dame J. Formal Logic 19, 435--444 (1978; Zbl 0305.02040)], and has since then been realised in different ways by several authors, briefly reviewed in the paper.  The author introduces several measures of the inconsistency of a set of formulas of a given tense logic and then consider the satisfaction of natural properties, called rationality postulates, by each of these measures, thus evaluating the appropriateness of them. The paper also explores the connections between inconsistency measures and paraconsistent propositional tense logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080703$03764591-6EAA-4E78-8E23-F1E13F68E16A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080703$BB8C9040-75FC-4666-9C4C-09C682A2C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080703$675812FD-07FF-45BB-880E-4356B3B54133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080703$74EC07A6-EF1C-4372-BE20-3E08F78BF62B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d5e4644b7c074b7ddd233bd75929de795b687d1","datavalue":{"value":"7598587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080703$7BF084FB-7913-43F7-B9A3-ECA92DCBA813","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201198f5d642e36f424bf4507939e91265429666","datavalue":{"value":"inconsistency measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080703$BBAB479D-837A-45EA-9C6A-511FE6EB455A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080703$FEEFA0B8-E61A-4A0B-A08F-B72711004868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795c99fbf5421e96924b8fa6cdb5c1b6907d7e55","datavalue":{"value":"rationality postulates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080703$C2CD85FC-5C42-4EC0-A554-AA2AF0B52EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62e3298ed0c91c77b41ca1ad2fdac331df0f7d4","datavalue":{"value":"tense operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080703$E3D22C66-E3FD-45C3-9A1F-0E3DF9D4D503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63bfc1830e83d08898f5529fd7af824ba749d592","datavalue":{"value":"weak inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080703$7F69D69B-B1D1-4205-ACD9-11C1EAD16908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aad150768426b73055f4d561c1440a565e276a4","datavalue":{"value":{"entity-type":"item","numeric-id":1383012,"id":"Q1383012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$6283E7FD-7984-473A-A7DB-A5BE9CE8559B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$9BF1132C-D451-4499-A30C-C40D273F2449","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":"Q2080703$EC86AE46-F216-4606-A0C0-499B7D66019D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"584eb5360a154096806c5be033517317ff606d80","datavalue":{"value":"https://doi.org/10.1215/00294527-2022-0020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2080703$EA29B37A-44CB-4C98-88F4-041A25DA2272","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"368f6c42fd2c30650bc81a97710dfd98028221b8","datavalue":{"value":"W4312765342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080703$935F420D-41C1-4BDC-B9E9-1082F6055166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4c228c5221bc70ffd256e94f444e87b86e359f","datavalue":{"value":{"entity-type":"item","numeric-id":2302300,"id":"Q2302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$F41F7775-E543-420E-AB6D-FD47E6FB5C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d9e937258a910917bc55a8369b7589fb50f929","datavalue":{"value":{"entity-type":"item","numeric-id":5226737,"id":"Q5226737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$83769EB9-427E-49F9-9052-259F6F58B7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27540f05b104b11a1f61b5c41439fd4c3acf3faa","datavalue":{"value":{"entity-type":"item","numeric-id":1217107,"id":"Q1217107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$04A3BE0C-17CF-49E5-BDFD-EEA47844F5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a132e36a41d7a09e9e09dbd5f0433b5b8d931b","datavalue":{"value":{"entity-type":"item","numeric-id":1680685,"id":"Q1680685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$FEAD0514-2012-45EF-ABDF-FF40593CB21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51af481f6c5a3351d7781f505cc85d26a1a6c0b1","datavalue":{"value":{"entity-type":"item","numeric-id":622103,"id":"Q622103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$418D5C35-45AA-4C19-8C04-80935257AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b377dc4f14b7641ea005821559fe74ed2575d6","datavalue":{"value":{"entity-type":"item","numeric-id":1610611,"id":"Q1610611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$DDE867E7-B279-49BE-B8CA-60CC6AC82C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$36A703D1-CFAE-423E-AE36-51DB295CA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$8712802B-A097-46A2-81CE-B727867562C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bd89b73f8e6d318c76f6146aad435bb4556626","datavalue":{"value":{"entity-type":"item","numeric-id":1143389,"id":"Q1143389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$DC9A0C6F-61F6-462A-B22D-3D53D7126710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4292163ee9f000e758f073f835816cf594b46b63","datavalue":{"value":{"entity-type":"item","numeric-id":5226731,"id":"Q5226731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$0E944230-3B84-4210-8F78-6BA215CF1BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080703$B0E7CAD4-07D9-45C8-B3E7-A4F9DA33EC57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6c31e7b315520002992981f7ceeebfeb77a8d1","datavalue":{"value":{"entity-type":"item","numeric-id":5156185,"id":"Q5156185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ae0813852b325d1b95e1eee5aece9424a21a1a","datavalue":{"value":{"amount":"+0.8556506633758545","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":"Q2080703$9669454F-4235-4C1C-B578-6431D122CCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf2894c3a6cf1e854235ffdf19fde7c96b856bb","datavalue":{"value":{"entity-type":"item","numeric-id":2198316,"id":"Q2198316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec397d2e71df4062457c30750102a6b57e5eed1","datavalue":{"value":{"amount":"+0.8556408286094666","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":"Q2080703$1F20D4FD-ED04-410A-B8BF-AC419A2A6ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9fa2be57949968801429bdf91e94d7c52a7a14","datavalue":{"value":{"entity-type":"item","numeric-id":3524915,"id":"Q3524915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7542ead93a5a292e2b85b13e3dec3f0390e2b6","datavalue":{"value":{"amount":"+0.8207942247390747","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":"Q2080703$44DA2326-30E8-454C-9560-5CAE74430CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba02896c87ae85119a0aba07573672c303d6f97","datavalue":{"value":{"entity-type":"item","numeric-id":2407935,"id":"Q2407935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d368b6cd5dc84709b2592e167299db7f76460f9d","datavalue":{"value":{"amount":"+0.7643308639526367","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":"Q2080703$C5CAD2A2-E870-4DB7-AF38-28866B27B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93742fa8a8739005d8917c3f599b3627dddc07f3","datavalue":{"value":{"entity-type":"item","numeric-id":5226735,"id":"Q5226735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e581d67c0a7f3c4769a70718294afe4009e1832","datavalue":{"value":{"amount":"+0.7579849362373352","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":"Q2080703$510A8D34-D0F2-4A63-A9E8-35E1AD424CE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2080703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2080703"}}}}}