Completeness theorems for <i>σ</i>-additive probabilistic semantics.

Miodrag Raskovic Mathematical Institute SANU, Belgrade, Serbia

Nebojsa Ikodinovic Zoran Ognjanovic Aleksandar Perovic Miodrag Raskovic Completeness theorems for <i>σ</i>-additive probabilistic semantics. 102755 2020 171 Ann. Pure Appl. Log. 4 https://doi.org/10.1016/j.apal.2019.102755 db/journals/apal/apal171.html#IkodinovicOPR20

Zoran Ognjanovic Miodrag Raskovic Zoran Markovic Probability Logics - Probability-Based Formalization of Uncertain Reasoning Springer 2016 1-215 978-3-319-47011-5 978-3-319-47012-2 https://doi.org/10.1007/978-3-319-47012-2

Nebojsa Ikodinovic Miodrag Raskovic Zoran Markovic Zoran Ognjanovic A first-order probabilistic logic with approximate conditional probabilities. 539-564 2014 22 Log. J. IGPL 4 https://doi.org/10.1093/jigpal/jzt048 db/journals/igpl/igpl22.html#IkodinovicRMO14

Nebojsa Ikodinovic Zoran Ognjanovic Aleksandar Perovic Miodrag Raskovic Hierarchies of probabilistic logics. 1830-1842 2014 55 Int. J. Approx. Reason. 9 https://doi.org/10.1016/j.ijar.2014.03.006 db/journals/ijar/ijar55.html#IkodinovicOPR14

Nebojsa Ikodinovic Miodrag Raskovic Zoran Markovic Zoran Ognjanovic Logics with Generalized Measure Operators. 527-555 2013 20 J. Multiple Valued Log. Soft Comput. 5-6 http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-20-number-5-6-2013/mvlsc-20-5-6-p-527-555/ db/journals/mvl/mvl20.html#IkodinovicRMO13

Zoran Ognjanovic Zoran Markovic Miodrag Raskovic Dragan Doder Aleksandar Perovic A propositional probabilistic logic with discrete linear time for reasoning about evidence. 217-243 2012 65 Ann. Math. Artif. Intell. 2-3 https://doi.org/10.1007/s10472-012-9307-9 db/journals/amai/amai65.html#OgnjanovicMRDP12

Aleksandar Perovic Zoran Ognjanovic Miodrag Raskovic Dragan G. Radojevic Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm. 65-90 2011 169 Fuzzy Sets Syst. 1 https://doi.org/10.1016/j.fss.2010.10.007 db/journals/fss/fss169.html#PerovicORR11

Dragan Doder Miodrag Raskovic Zoran Markovic Zoran Ognjanovic Measures of inconsistency and defaults. 832-845 2010 51 Int. J. Approx. Reason. 7 https://doi.org/10.1016/j.ijar.2010.05.007 db/journals/ijar/ijar51.html#DoderRMO10

Dragan Doder Zoran Markovic Zoran Ognjanovic Aleksandar Perovic Miodrag Raskovic A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. 9-24 2010 FoIKS https://doi.org/10.1007/978-3-642-11829-6_4 conf/foiks/2009 db/conf/foiks/foiks2009.html#DoderMOPR09 Aleksandar Perovic Zoran Ognjanovic Miodrag Raskovic Zoran Markovic Qualitative Possibilities and Necessities. 651-662 2009 ECSQARU https://doi.org/10.1007/978-3-642-02906-6_56 conf/ecsqaru/2009 db/conf/ecsqaru/ecsqaru2009.html#PerovicORM09

Zoran Ognjanovic Aleksandar Perovic Miodrag Raskovic Logics with the Qualitative Probability Operator. 105-120 2008 16 Log. J. IGPL 2 https://doi.org/10.1093/jigpal/jzm031 db/journals/igpl/igpl16.html#OgnjanovicPR08

Miodrag Raskovic Zoran Markovic Zoran Ognjanovic A logic with approximate conditional probabilities that can model default reasoning. 52-66 2008 49 Int. J. Approx. Reason. 1 https://doi.org/10.1016/j.ijar.2007.08.006 db/journals/ijar/ijar49.html#RaskovicMO08

Dragan G. Radojevic Aleksandar Perovic Zoran Ognjanovic Miodrag Raskovic Interpolative Boolean Logic. 209-219 2008 AIMSA https://doi.org/10.1007/978-3-540-85776-1_18 conf/aimsa/2008 db/conf/aimsa/aimsa2008.html#RadojevicPOR08 Aleksandar Perovic Zoran Ognjanovic Miodrag Raskovic Zoran Markovic A Probabilistic Logic with Polynomial Weight Formulas. 239-252 2008 conf/foiks/2008 FoIKS https://doi.org/10.1007/978-3-540-77684-0_17 db/conf/foiks/foiks2008.html#PerovicORM08 Aleksandar Perovic Zoran Ognjanovic Miodrag Raskovic Zoran Markovic How to Restore Compactness into Probabilistic Logics?. 338-348 2008 JELIA https://doi.org/10.1007/978-3-540-87803-2_28 conf/jelia/2008 db/conf/jelia/jelia2008.html#PerovicORM08 Nebojsa Ikodinovic Miodrag Raskovic Zoran Markovic Zoran Ognjanovic Measure Logic. 128-138 2007 conf/ecsqaru/2007 ECSQARU https://doi.org/10.1007/978-3-540-75256-1_14 db/conf/ecsqaru/ecsqaru2007.html#IkodinovicRMO07

Radosav S. Dordevic Miodrag Raskovic Zoran Ognjanovic Completeness theorem for propositional probabilistic models whose measures have only finite ranges. 557-564 2004 43 Arch. Math. Log. 4 https://doi.org/10.1007/s00153-004-0217-3 db/journals/aml/aml43.html#DordevicRO04

Miodrag Raskovic Zoran Ognjanovic Zoran Markovic A Logic with Conditional Probabilities. 226-238 https://doi.org/10.1007/978-3-540-30227-8_21 2004 conf/jelia/2004 JELIA db/conf/jelia/jelia2004.html#RaskovicOM04 Miodrag Raskovic Zoran Ognjanovic Zoran Markovic A probabilistic approach to default reasoning. 335-341 2004 conf/nmr/2004 NMR http://www.pims.math.ca/science/2004/NMR/papers/paper44.pdf db/conf/nmr/nmr2004.html#RaskovicOM04

Zoran Markovic Zoran Ognjanovic Miodrag Raskovic A probabilistic extension of intuitionistic logic. 415-424 2003 49 Math. Log. Q. 4 https://doi.org/10.1002/malq.200310044 db/journals/mlq/mlq49.html#MarkovicOR03

Zoran Ognjanovic Miodrag Raskovic Some first-order probability logics. 191-212 2000 247 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs247.html#OgnjanovicR00 https://doi.org/10.1016/S0304-3975(98)00341-7 https://www.wikidata.org/entity/Q126778482

Zoran Ognjanovic Miodrag Raskovic Some Probability Logics with New Types of Probability Operators. 181-195 1999 9 J. Log. Comput. 2 https://doi.org/10.1093/logcom/9.2.181 db/journals/logcom/logcom9.html#OgnjanovicR99

Miodrag Raskovic Completeness Theorem for Biprobability Models. 586-590 1986 51 J. Symb. Log. 3 db/journals/jsyml/jsyml51.html#Raskovic86 https://doi.org/10.2307/2274015 http://projecteuclid.org/euclid.jsl/1183742157

Miodrag Raskovic Rade T. Zivaljevic Barwise Completeness Theorems for Some Biprobability Logics. 133-135 1986 32 Math. Log. Q. 7-9 https://doi.org/10.1002/malq.19860320706 db/journals/mlq/mlq32.html#RaskovicZ86

Dragan Doder Radosav S. Dordevic Nebojsa Ikodinovic Zoran Markovic Zoran Ognjanovic Aleksandar Perovic Dragan G. Radojevic Rade T. Zivaljevic