×

Marković, Zoran M.

Compute Distance To:
Author ID: markovic.zoran-m Recent zbMATH articles by "Marković, Zoran M."
Published as: Marković, Zoran; Markovic, Zoran; Marković, Z.; Marković, Zoran M.
Documents Indexed: 33 Publications since 1977, including 2 Books
Co-Authors: 14 Co-Authors with 22 Joint Publications
116 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 92 times in 49 Documents Cited by Year
A logic with approximate conditional probabilities that can model default reasoning. Zbl 1184.68520
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
15
2008
Measures of inconsistency and defaults. Zbl 1205.68422
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
14
2010
A logic with conditional probabilities. Zbl 1111.68688
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran
9
2004
A probabilistic extension of intuitionistic logic. Zbl 1022.03011
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
8
2003
Completeness theorem for logic with imprecise and conditional probabilities. Zbl 1144.03019
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag
7
2005
Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
7
2016
On the structure of Kripke models of Heyting arithmetic. Zbl 0805.03050
Marković, Zoran
6
1993
A probabilistic logic with polynomial weight formulas. Zbl 1138.03315
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
5
2008
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Zbl 1269.03033
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar
4
2012
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
3
2010
Some recurrence formulas related to the differential operator \(\theta \)D. Zbl 1034.11022
Mijajlović, Ž.; Marković, Z.
3
1998
Measure logic. Zbl 1148.68485
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran
3
2007
An intuitionistic logic with probabilistic operators. Zbl 1048.03020
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
2
2003
Modification of TOPSIS method for solving of multicriteria tasks. Zbl 1299.90201
Marković, Z.
1
2010
Some preservation results for classical and intuitionistic satisfiability in Kripke models. Zbl 0487.03015
Markovic, Zoran
1
1983
A first-order probabilistic logic with approximate conditional probabilities. Zbl 1305.03021
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
1
2014
Logics with probabilistic operators. Zbl 1240.03003
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar
1
2007
How to restore compactness into probabilistic logics? Zbl 1178.03034
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
1
2008
A logic of approximate reasoning. Zbl 0991.03027
Rašković, Miodrag; Đorđević, Radosav; Marković, Zoran
1
2001
Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
7
2016
A first-order probabilistic logic with approximate conditional probabilities. Zbl 1305.03021
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
1
2014
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Zbl 1269.03033
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar
4
2012
Measures of inconsistency and defaults. Zbl 1205.68422
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
14
2010
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
3
2010
Modification of TOPSIS method for solving of multicriteria tasks. Zbl 1299.90201
Marković, Z.
1
2010
A logic with approximate conditional probabilities that can model default reasoning. Zbl 1184.68520
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
15
2008
A probabilistic logic with polynomial weight formulas. Zbl 1138.03315
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
5
2008
How to restore compactness into probabilistic logics? Zbl 1178.03034
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
1
2008
Measure logic. Zbl 1148.68485
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran
3
2007
Logics with probabilistic operators. Zbl 1240.03003
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar
1
2007
Completeness theorem for logic with imprecise and conditional probabilities. Zbl 1144.03019
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag
7
2005
A logic with conditional probabilities. Zbl 1111.68688
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran
9
2004
A probabilistic extension of intuitionistic logic. Zbl 1022.03011
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
8
2003
An intuitionistic logic with probabilistic operators. Zbl 1048.03020
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
2
2003
A logic of approximate reasoning. Zbl 0991.03027
Rašković, Miodrag; Đorđević, Radosav; Marković, Zoran
1
2001
Some recurrence formulas related to the differential operator \(\theta \)D. Zbl 1034.11022
Mijajlović, Ž.; Marković, Z.
3
1998
On the structure of Kripke models of Heyting arithmetic. Zbl 0805.03050
Marković, Zoran
6
1993
Some preservation results for classical and intuitionistic satisfiability in Kripke models. Zbl 0487.03015
Markovic, Zoran
1
1983

Citations by Year