{"entities":{"Q392291":{"pageid":394058,"ns":120,"title":"Item:Q392291","lastrevid":61571262,"modified":"2026-04-11T00:12:52Z","type":"item","id":"Q392291","labels":{"en":{"language":"en","value":"The logic of uncertain justifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244774"}},"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":"Q392291$229F6775-4883-463B-B66E-65146BC15060","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e27887ace8a2986a4eeab715c6fc72341aef51f","datavalue":{"value":{"text":"The logic of uncertain justifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392291$B3C2CA60-DFF9-4BCF-94B5-6EDA125BCB48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6667453996641b5a6da5bd85d4231e1abc161243","datavalue":{"value":"1325.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392291$BB198F74-C65D-4A5C-8826-571C1E15FF9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$8063F9B7-0738-4D9A-9032-F8E9CA7372D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7f0ce9f8644dc92186acf7aa59a26f9b811cbd","datavalue":{"value":{"time":"+2014-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q392291$603BF07A-788C-44A9-8C2A-D23FA9EA4A2A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2af0cd1b2ba7b73e76a442ce8c02d215887846b8","datavalue":{"value":"The author considers Artemov's justification logic \\(J\\) and proposes a new variant of this logic by replacing its main notion ``\\(t\\) is a reason that justifies a formula \\(F\\)'' (formally represented by the expression ``\\(t:F\\)'' ) by the related notion ``I have degree \\(r\\) of confidence that \\(t\\) is evidence for the truth of formula \\(F\\)''. A formal language for the new notion is characterized, which is basically Artemov's language for logic \\(J\\) with (the formal representation of) the author's new notion replacing expressions of the form ``\\(t:F\\)''. The author formulates a possible world semantics for his formal language. This semantics captures the intuitive content of his notion and is a modification of the Fitting-Kripke semantics for \\(J\\). An axiomatic system is also formulated, which is proved to be sound and complete with respect to the author's semantics. Possible variants of the author's logic are also discussed in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q392291$1C180ABF-3EDD-4C61-899C-CF28925A7D10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392291$DDAC4E47-931E-42EB-BFBF-593D6DA4E6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392291$6CB5C7A9-937F-458C-8AA2-694482B6076A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"529adc5ee13e7da5aeb2853fa4fde405a0603c80","datavalue":{"value":"6244774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392291$CBA06725-1CC0-461A-8A19-AA2A2DA6E1BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q392291$448536E1-DD23-498F-88F5-7FBA72FB105A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q392291$CA9608E2-96AA-4A4E-93B1-C705B87D3603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce68ecbddd24e0a5603ce39226b124176709f1c","datavalue":{"value":"uncertain reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q392291$3D8E853B-AA76-4F2F-9316-097C7B1EBE90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8450522eaf34ce6110696ce25ccf0bdbf4cb155b","datavalue":{"value":{"entity-type":"item","numeric-id":1776196,"id":"Q1776196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$760A3777-A31C-4414-8E3D-CEAF2B764EF6","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":"Q392291$5A5DBA2E-480F-4FEA-8A46-6E85819BE036","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1433d9d67e8bafa8fe048bfe5a635d5fcae04119","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q392291$F545ACA9-4E86-4C0B-BC77-A17AD99FFF04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7072a4176f22660027c43e20722a69c4a5512cb7","datavalue":{"value":"W2128925482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392291$51731FA0-61A3-4701-8DE7-48BCE6A5ED06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$E6360B25-0A3D-4D4F-B361-28AE44FC1C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$0AA8E80C-32AF-4471-9D79-CB0E3ED67E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f082372987ccabc92cbd0d14c450ff1b25ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":2500478,"id":"Q2500478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$1FA7BC03-43D4-4200-8525-03D148DB93C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$4DCF5CC3-AF75-4A44-8FF3-08A1DD94D4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bff762b563d035000845f1e264230032c4ddb6","datavalue":{"value":{"entity-type":"item","numeric-id":5261291,"id":"Q5261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$58AB439E-8483-48E8-8A0C-2CF55B7AB931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0a6de88765b522b9206a93da55a47345cc7d63","datavalue":{"value":{"entity-type":"item","numeric-id":3613333,"id":"Q3613333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$37242676-A54E-4A70-95FC-12FD1E93B59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43497d366fbcbf5e4563e450977844c572f2e3af","datavalue":{"value":{"entity-type":"item","numeric-id":2915025,"id":"Q2915025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$22BFB928-2E7B-4014-9CDD-09E5DED170F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4187ec3ea62727137c93df33a1a765212354fa36","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$A54B1658-2EE6-497C-A5F0-A58FDA9C861E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba08a437a70cf639d99741bc364e8aa3e5f667ca","datavalue":{"value":{"entity-type":"item","numeric-id":3605521,"id":"Q3605521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$C5F46B5B-B53D-410C-85A0-CF659EBA0822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$C8600E06-6EC4-4C40-B067-F91B657AC225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$CC1D8061-9934-42BE-B541-3A05E85E1C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$15D48690-B5BD-4CD5-AF6D-F166F09A82CB","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":"Q392291$DFCCCB93-10FA-4B14-B382-B8529E72DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fe320a8e2945a982156f6d4f3d5b1f2e3ba92e","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$4ED48C3A-50E4-4BF6-8F54-1BD42E225F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9c0aa0f77dad28596492d522cfee907b19ac90","datavalue":{"value":{"entity-type":"item","numeric-id":3455850,"id":"Q3455850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$5EC939EA-BD54-4F53-A3CC-742D24CBC29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6356a6954d3caf0aa73f0f0fa3715d4613d3f1b","datavalue":{"value":{"entity-type":"item","numeric-id":866565,"id":"Q866565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$7D33AC0A-3D65-46A7-9B65-43D2C9C86C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$848A6A3F-9586-4A16-9808-1A07B2A50E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2e8d139c9d36d102292eef689d0359894fce93","datavalue":{"value":{"entity-type":"item","numeric-id":731893,"id":"Q731893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$865921BD-043E-4A4E-8D5D-8DBC96A185EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8011a7af515442ccd669f16c38e3d0e36d4e3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4904077,"id":"Q4904077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392291$D341F7AB-17C1-4EBE-A763-6B429868F348","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"900714b4cda7d03f6533d1e39941ee0a30f8eba5","datavalue":{"value":"10.1016/J.APAL.2013.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392291$44C95FC7-2A19-41AE-8A85-387B41DF0D82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d52c59bb4610c80cceaf66f6614266d12228c","datavalue":{"value":{"entity-type":"item","numeric-id":3455853,"id":"Q3455853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062b15384b29a89009b3bf3e4c642058898fceb3","datavalue":{"value":{"amount":"+0.9423720836639404","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":"Q392291$EC3FC3E1-7398-447C-B9F6-DD9206E1C79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f82a06fd6d77ae16403c2843aceff7b6367e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2193973,"id":"Q2193973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec12800841332c8cb4226c6d4c67dc4bdeb8254","datavalue":{"value":{"amount":"+0.8783389329910278","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":"Q392291$BB65697B-A114-48DB-B572-51C2E0963D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1179604e13f068b59eb285e9dea483e3dd0a9e00","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe1fba8a572db02483c56c7619240916c21914b","datavalue":{"value":{"amount":"+0.8682786226272583","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":"Q392291$C1143084-BE19-456A-B996-B4E448D017AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ee5fdd6bc9917a65eb8b63ebc092b630e8c904","datavalue":{"value":{"entity-type":"item","numeric-id":4644569,"id":"Q4644569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e63bfb3025cbe2153b32b6ddace739ec0fe045","datavalue":{"value":{"amount":"+0.8218668699264526","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":"Q392291$D0CC0BFA-99F3-45EB-966A-70794F8BA3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb25a8e023c415fb2dc39e2e2b6a738a9f8fb62","datavalue":{"value":{"entity-type":"item","numeric-id":5278213,"id":"Q5278213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f19b1b7f7d74042afb89609af526ef8427db4c","datavalue":{"value":{"amount":"+0.8216753602027893","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":"Q392291$299CBDD0-13BB-4BB9-9414-774F534519BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of uncertain justifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logic_of_uncertain_justifications"}}}}}