Z. Markovic

发表

A Branching Time Logic with Two Types of Probability Operators

Zoran Ognjanovic, Dragan Doder, Z. Ognjanovic, 2011, SUM.

Some Applications of Probability Logics

Z. Ognjanovic, Z. Markovic, M. Raskovic, 2016 .

Probability Logics with Iterations of Probability Operators

Z. Ognjanovic, Z. Markovic, M. Raskovic, 2016 .

INTUITIONISTIC AND CLASSICAL SATISFIABILITY IN KRIPKE MODELS

Z. Markovic, 2004 .

Extensions of the Probability Logics LPP$_2$ and LFOP$_1$

Z. Ognjanovic, Z. Markovic, M. Raskovic, 2016 .

$$\mathbf {LPP_2}$$, a Propositional Probability Logic Without Iterations of Probability Operators

Z. Ognjanovic, Z. Markovic, M. Raskovic, 2016 .

A Logic with Kolmogorov Style Conditional Probabilities

Z. Ognjanovic, Z. Markovic, N. Ikodinovic, 2005 .

A first-order probabilistic logic with approximate conditional probabilities

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2014, Log. J. IGPL.

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2010, FoIKS.

Qualitative Possibilities and Necessities

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2009, ECSQARU.

How to Restore Compactness into Probabilistic Logics?

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2008, JELIA.

A logic with approximate conditional probabilities that can model default reasoning

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2008, Int. J. Approx. Reason..

A Probabilistic Logic with Polynomial Weight Formulas

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2008, FoIKS.

Measure Logic

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2007, ECSQARU.

A Logic with Conditional Probabilities

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2004, JELIA.

A probabilistic approach to default reasoning

Z. Ognjanovic, Z. Markovic, M. Raskovic, 2004, NMR.

An intuitionistic logic with probabilistic operators

Miodrag Rašković, Z. Markovic, M. Raskovic, 2003 .

A propositional probabilistic logic with discrete linear time for reasoning about evidence

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2012, Annals of Mathematics and Artificial Intelligence.

Measures of inconsistency and defaults

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2010, Int. J. Approx. Reason..

A probabilistic extension of intuitionistic logic

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2003, Math. Log. Q..

Probability Logics

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, 2016, Springer International Publishing.

A propositional probabilistic logic with discrete linear time for reasoning about evidence

Z. Ognjanovic, D. Doder, Z. Markovic, 2012, Annals of Mathematics and Artificial Intelligence.

An Axiomatization of a First-order Branching Time Temporal Logic

Zoran Ognjanovic, Zoran Markovic, Dragan Doder, 2010, J. Univers. Comput. Sci..

COMPLETENESS THEOREM FOR A LOGIC WITH IMPRECISE AND CONDITIONAL PROBABILITIES

Zoran Ognjanović, Miodrag Rašković, Z. Ognjanovic, 2005 .