×

Rašković, Miodrag D.

Author ID: raskovic.miodrag-d Recent zbMATH articles by "Rašković, Miodrag D."
Published as: Rašković, Miodrag; Rašković, Miodrag D.; Rašković, M.; Raskovic, Miodrag; Raškovic, M.
Documents Indexed: 61 Publications since 1979, including 2 Books
Co-Authors: 14 Co-Authors with 50 Joint Publications
165 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 275 times in 78 Documents Cited by Year
Some first-order probability logics. Zbl 0954.03024
Ognjanovic, Z.; Raškovic, M.
31
2000
Some probability logics with new types of probability operators. Zbl 0941.03022
Ognjanović, Zoran; Rašković, Miodrag
21
1999
A logic with approximate conditional probabilities that can model default reasoning. Zbl 1184.68520
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
20
2008
Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
20
2016
Logics with the qualitative probability operator. Zbl 1138.03024
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
14
2008
Measures of inconsistency and defaults. Zbl 1205.68422
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
14
2010
A probabilistic extension of intuitionistic logic. Zbl 1022.03011
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
13
2003
Completeness theorem for logic with imprecise and conditional probabilities. Zbl 1144.03019
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag
12
2005
Classical logic with some probability operators. Zbl 0799.03018
Rašković, Miodrag
12
1993
A logic with conditional probabilities. Zbl 1111.68688
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran
11
2004
Probability logics. Zbl 1224.03005
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
10
2009
A probabilistic logic with polynomial weight formulas. Zbl 1138.03315
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
9
2008
Probability quantifiers and operators. Zbl 0933.03044
Rašković, Miodrag; Djordjević, Radosav
8
1996
A first order probability logic – \(LP_Q\). Zbl 1006.03018
Rašković, Miodrag; Ognjanović, Zoran
8
1999
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Zbl 1057.03028
Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran
8
2004
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
8
2012
A logic with higher order probabilities. Zbl 0884.03019
Ognjanović, Z.; Rašković, M.
7
1996
An intuitionistic logic with probabilistic operators. Zbl 1048.03020
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
6
2003
Completeness theorem for biprobability models. Zbl 0626.03031
Rašković, Miodrag D.
5
1986
How to restore compactness into probabilistic logics? Zbl 1178.03034
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
5
2008
Finitely additive probability measures on classical propositional formulas definable by Gödel’s t-norm and product t-norm. Zbl 1233.03032
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Radojević, Dragan
4
2011
A probabilistic validity measure in intuitionistic propositional logic. Zbl 1040.03509
Boričić, Branislav; Rašković, Miodrag
3
1996
Hierarchies of probabilistic logics. Zbl 1433.03061
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
3
2014
Measure logic. Zbl 1148.68485
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran
3
2007
A logic with higher order probabilities. Zbl 1009.03513
Rašković, Miodrag; Ognjanović, Zoran
2
1996
A first-order probabilistic logic with approximate conditional probabilities. Zbl 1305.03021
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
2
2014
Completeness theorems for \(\sigma \)-additive probabilistic semantics. Zbl 1452.03064
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
2
2020
Logics with generalized measure operators. Zbl 1393.03014
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
2
2013
Completeness theorem for singular biprobability models. Zbl 0647.03033
Rašković, Miodrag
1
1988
Logics with probabilistic operators. Zbl 1240.03003
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar
1
2007
Qualitative possibilities and necessities. Zbl 1245.68219
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
1
2009
Cylindric probability algebras. Zbl 0965.03078
Rašković, Miodrag; Djordjević, Radoslav S.
1
2000
A logic of approximate reasoning. Zbl 0991.03027
Rašković, Miodrag; Đorđević, Radosav; Marković, Zoran
1
2001
An application of nonstandard analysis to functional equations. Zbl 0576.39008
Rašković, Miodrag
1
1985
Barwise completeness theorems for some biprobability logics. Zbl 0616.03009
Rašković, M.; Živaljević, R.
1
1986
Some propositional probabilistic logics. Zbl 0884.03021
Rašković, Miodrag; Ognjanović, Zoran
1
1996
A completeness theorem for an infinitary intuitionistic logic with both ordinary and probability quantifiers. Zbl 0744.03038
Rašković, Miodrag
1
1991
On evaluations of propositional formulas in countable structures. Zbl 1474.03064
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran; Rašković, Miodrag
1
2016
Interpolative Boolean logic. Zbl 1169.03344
Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag
1
2008
Cylindric probability algebras. Zbl 1284.03277
Đorđević, Radosav S.; Rašković, Miodrag D.
1
2012
Completeness theorems for \(\sigma \)-additive probabilistic semantics. Zbl 1452.03064
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
2
2020
Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
20
2016
On evaluations of propositional formulas in countable structures. Zbl 1474.03064
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran; Rašković, Miodrag
1
2016
Hierarchies of probabilistic logics. Zbl 1433.03061
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
3
2014
A first-order probabilistic logic with approximate conditional probabilities. Zbl 1305.03021
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
2
2014
Logics with generalized measure operators. Zbl 1393.03014
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
2
2013
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
8
2012
Cylindric probability algebras. Zbl 1284.03277
Đorđević, Radosav S.; Rašković, Miodrag D.
1
2012
Finitely additive probability measures on classical propositional formulas definable by Gödel’s t-norm and product t-norm. Zbl 1233.03032
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Radojević, Dragan
4
2011
Measures of inconsistency and defaults. Zbl 1205.68422
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
14
2010
Probability logics. Zbl 1224.03005
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
10
2009
Qualitative possibilities and necessities. Zbl 1245.68219
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
1
2009
A logic with approximate conditional probabilities that can model default reasoning. Zbl 1184.68520
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
20
2008
Logics with the qualitative probability operator. Zbl 1138.03024
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
14
2008
A probabilistic logic with polynomial weight formulas. Zbl 1138.03315
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
9
2008
How to restore compactness into probabilistic logics? Zbl 1178.03034
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
5
2008
Interpolative Boolean logic. Zbl 1169.03344
Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag
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
12
2005
A logic with conditional probabilities. Zbl 1111.68688
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran
11
2004
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Zbl 1057.03028
Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran
8
2004
A probabilistic extension of intuitionistic logic. Zbl 1022.03011
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
13
2003
An intuitionistic logic with probabilistic operators. Zbl 1048.03020
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
6
2003
A logic of approximate reasoning. Zbl 0991.03027
Rašković, Miodrag; Đorđević, Radosav; Marković, Zoran
1
2001
Some first-order probability logics. Zbl 0954.03024
Ognjanovic, Z.; Raškovic, M.
31
2000
Cylindric probability algebras. Zbl 0965.03078
Rašković, Miodrag; Djordjević, Radoslav S.
1
2000
Some probability logics with new types of probability operators. Zbl 0941.03022
Ognjanović, Zoran; Rašković, Miodrag
21
1999
A first order probability logic – \(LP_Q\). Zbl 1006.03018
Rašković, Miodrag; Ognjanović, Zoran
8
1999
Probability quantifiers and operators. Zbl 0933.03044
Rašković, Miodrag; Djordjević, Radosav
8
1996
A logic with higher order probabilities. Zbl 0884.03019
Ognjanović, Z.; Rašković, M.
7
1996
A probabilistic validity measure in intuitionistic propositional logic. Zbl 1040.03509
Boričić, Branislav; Rašković, Miodrag
3
1996
A logic with higher order probabilities. Zbl 1009.03513
Rašković, Miodrag; Ognjanović, Zoran
2
1996
Some propositional probabilistic logics. Zbl 0884.03021
Rašković, Miodrag; Ognjanović, Zoran
1
1996
Classical logic with some probability operators. Zbl 0799.03018
Rašković, Miodrag
12
1993
A completeness theorem for an infinitary intuitionistic logic with both ordinary and probability quantifiers. Zbl 0744.03038
Rašković, Miodrag
1
1991
Completeness theorem for singular biprobability models. Zbl 0647.03033
Rašković, Miodrag
1
1988
Completeness theorem for biprobability models. Zbl 0626.03031
Rašković, Miodrag D.
5
1986
Barwise completeness theorems for some biprobability logics. Zbl 0616.03009
Rašković, M.; Živaljević, R.
1
1986
An application of nonstandard analysis to functional equations. Zbl 0576.39008
Rašković, Miodrag
1
1985
all top 5

Cited by 82 Authors

32 Ognjanović, Zoran
14 Perović, Aleksandar
13 Doder, Dragan
13 Rašković, Miodrag D.
11 Ikodinović, Nebojša
7 Ilić Stepić, Angelina
7 Marković, Zoran M.
4 Dautović, Šejla
4 Grant, John R.
3 De Bona, Glauber
3 Đorđević, Radosav S.
3 Parisi, Francesco
3 Savić, Nenad
3 Studer, Thomas
3 Thimm, Matthias
2 Belle, Vaishak
2 Boričić, Marija
2 Ferenczi, Miklós
2 Gagliardi Cozman, Fabio
2 Hunter, Anthony
2 Kokkinis, Ioannis
2 Landes, Jürgen
2 Levesque, Hector J.
2 Martinez, Maria Vanina
2 Mu, Kedian
2 Raddaoui, Badran
2 Radojević, Dragan G.
1 Ah-Pine, Julien
1 Antonelli, Melissa
1 Bell, David A.
1 Cline, M.
1 Dal Lago, Ugo
1 Davidović, Tatjana
1 De Carvalho Ferreira, Nivea
1 Dubois, Didier
1 Fan, Xiuyi
1 Finger, Marcelo
1 Fisher, Michael
1 Gilio, Angelo
1 Godo, Lluís
1 Grbić, Tatjana
1 Grujić, Gabrijela
1 Gusmão, Arthur Colombini
1 Henderson, Thomas C.
1 Hosni, Hykel
1 Ilić-Stepić, Anelina
1 Jabbour, Said
1 Jäger, Manfred
1 Jahn, Michael A.
1 Jin, Zhi
1 Knežević, Mateja
1 Konur, Savas
1 Lehnherr, David
1 Liu, Weiru
1 Ma, Yue
1 Mauá, Denis Deratani
1 Medić, Slavica
1 Mijajlović, Žarko
1 Mitiche, Amar
1 Mofidi, Alireza
1 Molinaro, Cristian
1 Naumov, Pavel G.
1 Pistone, Paolo
1 Pizzi, Claudio Ercole Antonio
1 Prade, Henri M.
1 Pugliese, Andrea
1 Sacharny, D.
1 Saïs, Lakhdar
1 Scheutz, Matthias
1 Serbinowski, Bernard
1 Simari, Gerardo I.
1 Štajner-Papuga, Ivana
1 Stojanović, Nenad U.
1 Stojanović, Tatjana
1 Štrboja, Mirjana
1 Subrahmanian, V. S.
1 Tao, Jia
1 Tomović, Siniša
1 van der Hoek, Wiebe
1 Vieira de Faria, Francisco H. O.
1 Wallner, Johannes Peter
1 Zhou, Chunlai

Citations by Year