Completeness Theorem for Biprobability Models. - Miodrag Raskovic (J. Symb. Log., 1986)

Barwise Completeness Theorems for Some Biprobability Logics. - Miodrag Raskovic; Rade T. Zivaljevic (Math. Log. Q., 1986)

Some Probability Logics with New Types of Probability Operators. - Zoran Ognjanovic; Miodrag Raskovic (J. Log. Comput., 1999)

Some first-order probability logics. - Zoran Ognjanovic; Miodrag Raskovic (Theor. Comput. Sci., 2000)

A probabilistic extension of intuitionistic logic. - Zoran Markovic; Zoran Ognjanovic; Miodrag Raskovic (Math. Log. Q., 2003)

A Logic with Conditional Probabilities. - Miodrag Raskovic; Zoran Ognjanovic; Zoran Markovic (JELIA, 2004)

A probabilistic approach to default reasoning. - Miodrag Raskovic; Zoran Ognjanovic; Zoran Markovic (NMR, 2004)

Completeness theorem for propositional probabilistic models whose measures have only finite ranges. - Radosav S. Dordevic; Miodrag Raskovic; Zoran Ognjanovic (Arch. Math. Log., 2004)

Measure Logic. - Nebojsa Ikodinovic; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (ECSQARU, 2007)

Interpolative Boolean Logic. - Dragan G. Radojevic; Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic (AIMSA, 2008)

A Probabilistic Logic with Polynomial Weight Formulas. - Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (FoIKS, 2008)

How to Restore Compactness into Probabilistic Logics?. - Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (JELIA, 2008)

Logics with the Qualitative Probability Operator. - Zoran Ognjanovic; Aleksandar Perovic; Miodrag Raskovic (Log. J. IGPL, 2008)

A logic with approximate conditional probabilities that can model default reasoning. - Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (Int. J. Approx. Reason., 2008)

Qualitative Possibilities and Necessities. - Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (ECSQARU, 2009)

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. - Dragan Doder; Zoran Markovic; Zoran Ognjanovic; Aleksandar Perovic; Miodrag Raskovic (FoIKS, 2010)

Measures of inconsistency and defaults. - Dragan Doder; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (Int. J. Approx. Reason., 2010)

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm. - Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic; Dragan G. Radojevic (Fuzzy Sets Syst., 2011)

A propositional probabilistic logic with discrete linear time for reasoning about evidence. - Zoran Ognjanovic; Zoran Markovic; Miodrag Raskovic; Dragan Doder; Aleksandar Perovic (Ann. Math. Artif. Intell., 2012)

Logics with Generalized Measure Operators. - Nebojsa Ikodinovic; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (J. Multiple Valued Log. Soft Comput., 2013)

A first-order probabilistic logic with approximate conditional probabilities. - Nebojsa Ikodinovic; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (Log. J. IGPL, 2014)

Hierarchies of probabilistic logics. - Nebojsa Ikodinovic; Zoran Ognjanovic; Aleksandar Perovic; Miodrag Raskovic (Int. J. Approx. Reason., 2014)

Probability Logics - Probability-Based Formalization of Uncertain Reasoning - Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (Springer, 2016)

Completeness theorems for σ-additive probabilistic semantics. - Nebojsa Ikodinovic; Zoran Ognjanovic; Aleksandar Perovic; Miodrag Raskovic (Ann. Pure Appl. Log., 2020)