{"entities":{"Q2903758":{"pageid":2914483,"ns":120,"title":"Item:Q2903758","lastrevid":42476557,"modified":"2025-06-28T13:20:15Z","type":"item","id":"Q2903758","labels":{"en":{"language":"en","value":"A first-order conditional probability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062915"}},"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":"Q2903758$0D7D95FE-D4A4-42E2-805F-BA06FD6B1A95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d83b1d2228d137f0445bc70abe8030cac591944","datavalue":{"value":{"text":"A first-order conditional probability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903758$3CBA0DA5-BF20-45D0-BF68-F78126EB7732","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e933cae430754ef0bfafcb1b62ff9f7aeb5434e0","datavalue":{"value":"1251.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$93A7A360-8C4C-459F-8A30-3C58490FD452","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3def108b2181be3b333e2889c6b9f2f591461f2e","datavalue":{"value":{"entity-type":"item","numeric-id":353959,"id":"Q353959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903758$BF03883C-C9EA-481C-AD40-DCC2F5B7BBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903758$5D7A1FB6-115D-45DC-AAD5-CEAC66E7C1D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88fc52f7ff11d7876f7a1b3a0d8899b7968b0a9a","datavalue":{"value":{"time":"+2012-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903758$52549260-EFDF-4BBC-B558-BF390CA90E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$6887EADC-B19A-45FC-B2DC-3531FC87DB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$E800DE68-961E-4453-A945-5079BBD2E4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$DCCD3F9C-220A-465A-97AC-C4C1BD8FB894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$8F830778-EA32-4411-ADCE-E226203DF4CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae0c03da9e4e727b3f032ec6b9dc9564dab4f57b","datavalue":{"value":"6062915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$4C584D8D-7B2B-427D-8606-E84DD3B72B42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee7714e1a0bc9e08d5cd1aff882a5b7387e2ce","datavalue":{"value":"probability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903758$4941CB78-83DF-4FD9-98E8-E539B7CDEE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12242fa8192ff64eef533b0948d24cb70646b59c","datavalue":{"value":"conditional probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903758$03C02F18-0CF8-4EE9-A37A-8A9F890BF904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903758$426BBA04-2C9D-452F-9506-39B2DC2CB770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903758$7FBD41C2-BD1F-4755-90A3-E559E907A92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903758$1F3D035C-E12C-4FF6-BF3D-98DBDB69351B","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":"Q2903758$54F7196B-6F9B-4EB2-974F-CCA560B5BC2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"577ca62fc72b2339f99f63af0a23019af1932def","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903758$E7433A2D-82FB-45C0-A5C6-22E24F49D280","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3048c2c4ec3c8bea8d2d7774c7071a505164a897","datavalue":{"value":"W2071974395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$47D6D1F7-6CCB-4D28-85ED-8E43FEAB8512","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da486a5667ea466eee8b62b2ab189f5cbaf64b4d","datavalue":{"value":"10.1093/JIGPAL/JZR033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903758$624577FF-2B93-461A-BA66-8B2ECEB44827","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d5086a1719e768b578c21dba0af8068e3dd3c8","datavalue":{"value":{"entity-type":"item","numeric-id":5024712,"id":"Q5024712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592cc816af4c5b2669e335d6db9d519e730ff8a7","datavalue":{"value":{"amount":"+0.82609415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$25735A5F-0B29-494D-BEAF-8D459F91ADA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df1656a60b561e16fcf32135a34e02bf50afd83","datavalue":{"value":{"entity-type":"item","numeric-id":3510452,"id":"Q3510452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5832a76db07d30ffe248abf29d4bbd3a6ed94a7b","datavalue":{"value":{"amount":"+0.8138648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$6CDD082E-10EF-4261-ADA2-CCCF13E2E837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d641df1283e86baf7eaabae3882b133d5a054b80","datavalue":{"value":{"entity-type":"item","numeric-id":1583250,"id":"Q1583250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca5db66c135cf6bec0cd1e19e6347c86181e79e","datavalue":{"value":{"amount":"+0.81017965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$B9AFE8CF-098A-4B50-A8C8-831C8817B754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100f2369d6153af11bed1f8fa17c5eb3482f07eb","datavalue":{"value":{"entity-type":"item","numeric-id":5394127,"id":"Q5394127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcbb4bfe74799f4ae15dab669c0cd12542a5105","datavalue":{"value":{"amount":"+0.80762285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$BE08F1A6-8775-4A27-B7A8-FE35C9AEB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e027a2984bed7181ae7906e6be0e1d4620880d","datavalue":{"value":{"entity-type":"item","numeric-id":5473754,"id":"Q5473754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79144aabc11b3e2687fee32a11b68b02d96b9bf0","datavalue":{"value":{"amount":"+0.8054704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$561E4C6A-4A2B-43AA-9AA0-B4481E1C202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae9b850788056a7bf1314b5e57b57bd34343a21","datavalue":{"value":{"entity-type":"item","numeric-id":2999210,"id":"Q2999210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f2743e232fd946a99fc8e8d03c53fc000ea502","datavalue":{"value":{"amount":"+0.80524814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$F0F50227-050D-4EAC-9A5C-D52CED66D0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b24fa97ecf4fb1cd296e6896f240d3e6e4503bc","datavalue":{"value":{"entity-type":"item","numeric-id":3369026,"id":"Q3369026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ddb5d37249faf70bdcec9ef8539a056db777f8","datavalue":{"value":{"amount":"+0.8032617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$A7B8F092-0C58-4B45-9C66-83F36B7CBA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85fa6f2c39560fd44e0ef768a39f2fa3b896c66","datavalue":{"value":{"entity-type":"item","numeric-id":3165885,"id":"Q3165885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d1a26ce0c33140b57805a3a38b4bdb12342bbb","datavalue":{"value":{"amount":"+0.80189335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$584BB04A-BA9C-407A-8144-B24251DFB0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20fbb4340c05e2bab9f7a6e8bb94f28ae95b040","datavalue":{"value":{"entity-type":"item","numeric-id":4795396,"id":"Q4795396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fcf27afb8e5334568552b5214084225c03e0ef4","datavalue":{"value":{"amount":"+0.80068725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$1667875C-D8B2-4051-AF2B-0DAB94DD1B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316cf6bd818745811ae1022e0e5b87fcca818f71","datavalue":{"value":{"entity-type":"item","numeric-id":2379314,"id":"Q2379314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0a642efcde07d67884a99676152ebc5aa5bfbe","datavalue":{"value":{"amount":"+0.8005984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903758$365C7707-EAF7-4C39-BAB3-C1632AA0927A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903758$8B232F4A-2F2A-4B31-B5A3-4B02CCD87617","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cd9397635abcf08fae771a283f9447952b37fc7","datavalue":{"value":"In this paper the logic LFOCP is introduced. This logic allows the formalization of ``the conditional probability of \\(\\varphi\\) given \\(\\psi\\) is at least \\(c\\)'', where \\(\\varphi\\), \\(\\psi\\) are first-order formulae.NEWLINENEWLINE In the introduction the authors discuss related work, set out their agenda and summarize their main results.NEWLINENEWLINE In the two following sections, syntax and semantics for LFOCP are described. The semantics is given in a possible-world formulation.NEWLINENEWLINE Section four contains an infinitary axiom system containing the axioms for classical propositional logic and five inference rules, which are briefly discussed.NEWLINENEWLINE Section five is the technical main part of the paper, which contains proofs of soundness and completeness of LFOCP.NEWLINENEWLINEThe authors go on to show that a probabilistic formula \\(\\alpha\\) based on a decidable part of first-order logic is decidable.NEWLINENEWLINE In the seventh and final section the authors give an example of the expressive power of LFOCP.NEWLINENEWLINEA related paper, co-authored by the second author, may also be of interest [\\textit{A. Ili\u0107-Stepi\u0107}, \\textit{Z. Ognjanovi\u0107}, \\textit{N. Ikodiniovi\u0107} and \\textit{A. Perovi\u0107}, Math. Log. Q. 58, No. 4--5, 263--280 (2012; Zbl 1251.03027)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903758$DCCA211D-3B86-45B1-AFBA-D926513E5CF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c99d7bab7860e6ef95ce58f09e3829be39b50561","datavalue":{"value":{"entity-type":"item","numeric-id":280545,"id":"Q280545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903758$9431E77A-8ACD-4473-8A77-274FE80CFFC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2903758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903758"}}}}}