{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T15:59:20Z","timestamp":1700236760060},"reference-count":23,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":3603,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1997,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The language of the propositional calculus is extended by two families of propositional probability operators, inductively applicable to the formulae, and the set of all formulae provable in an arbitrary superintuitionistic propositional logic is extended by the probability measure axioms concerning those probability operators. A logical system obtained in such a way, similar to a kind of polymodal logic, makes possible to express a probability measure of truthfulness of any formula. The paper contains a description of the Kripke\u2010type possible worlds semantics covering the considered logical systems, being followed by the corresponding completeness results.<\/jats:p>","DOI":"10.1002\/malq.19970430410","type":"journal-article","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T05:00:37Z","timestamp":1180587637000},"page":"550-558","source":"Crossref","is-referenced-by-count":3,"title":["Validity Measurement in Some Propositional Logics"],"prefix":"10.1002","volume":"43","author":[{"given":"Branislav","family":"Bori\u010di\u0107","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"A History of Formal Logic","author":"Boche\u0144ski I. M.","year":"1970"},{"key":"e_1_2_1_3_2","article-title":"A probabilistic validity measure in intuitionistic propositional logic","author":"Bori\u010di\u0107 B.","journal-title":"Mathematica Balkanica"},{"key":"e_1_2_1_4_2","volume-title":"Formal Logic","author":"De Morgan A.","year":"1947"},{"key":"e_1_2_1_5_2","series-title":"Synthese Library 149","first-page":"223","volume-title":"Modern Logic: A Survey","author":"Fenstad J. E.","year":"1980"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2977-2"},{"key":"e_1_2_1_7_2","volume-title":"Boole's Logic and Probability","author":"Hailperin T.","year":"1976"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(78)90022-0"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273591"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274366"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70421-5"},{"key":"e_1_2_1_12_2","first-page":"509","volume-title":"Model\u2010Theoretic Logics","author":"Keisler H. J.","year":"1985"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90062-X"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19790253202"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-7066-3_3"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195193915"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/VI.21.51"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1063\/1.3060577"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274015"},{"key":"e_1_2_1_20_2","first-page":"7","article-title":"A completeness theorem for an infinitary intuitionistic logic with both ordinary and probability quantifiers","volume":"50","author":"Ra\u0161kovi\u0107 M.","year":"1991","journal-title":"Publ. Inst. Math. (Beograd) (N. S.)"},{"key":"e_1_2_1_21_2","first-page":"1","article-title":"Classical logic with some probability operators","volume":"53","author":"Ra\u0161kovi\u0107 M.","year":"1993","journal-title":"Publ. Inst. Math. (Beograd) (N. S.)"},{"key":"e_1_2_1_22_2","first-page":"542","article-title":"Incomplete propositional logics","volume":"235","author":"\u0160ehtman V. B.","year":"1977","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_4"},{"key":"e_1_2_1_24_2","volume-title":"The Logic of Chance","author":"Venn J.","year":"1962"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19970430410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19970430410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T02:08:04Z","timestamp":1698458884000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19970430410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1002\/malq.19970430410"],"URL":"https:\/\/doi.org\/10.1002\/malq.19970430410","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}