×
Compute Distance To:
Author ID: doder.dragan Recent zbMATH articles by "Doder, Dragan"
Published as: Doder, Dragan; Doder, D.
Documents Indexed: 29 Publications since 2010
Co-Authors: 23 Co-Authors with 28 Joint Publications
315 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 60 times in 40 Documents Cited by Year
Measures of inconsistency and defaults. Zbl 1205.68422
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
14
2010
Probabilistic abstract dialectical frameworks. Zbl 1343.68228
Polberg, Sylwia; Doder, Dragan
11
2014
Probabilistic logics for objects located in space and time. Zbl 1267.03041
Doder, Dragan; Grant, John; Ognjanović, Zoran
6
2013
A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Zbl 1289.03005
Doder, Dragan
4
2011
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
Probabilistic logics with independence and confirmation. Zbl 1417.03171
Doder, Dragan; Ognjanović, Zoran
4
2017
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
3
2010
A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017
Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar
2
2014
A logic with conditional probability operators. Zbl 1265.03010
Doder, Dragan; Marinković, Bojan; Maksimović, Petar; Perović, Aleksandar
2
2010
Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244
Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan
2
2015
Logics with lower and upper probability operators. Zbl 1422.03042
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
2
2017
AGM-style revision of beliefs and intentions. Zbl 1403.68278
van Zee, Marc; Doder, Dragan
2
2016
A first-order dynamic probability logic. Zbl 1390.03022
Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan
1
2013
A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 06769624
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
1
2017
A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038
Tomović, S.; Ognjanović, Z.; Doder, D.
1
2020
A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 06894599
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
1
2018
A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038
Tomović, S.; Ognjanović, Z.; Doder, D.
1
2020
A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 06894599
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
1
2018
Probabilistic logics with independence and confirmation. Zbl 1417.03171
Doder, Dragan; Ognjanović, Zoran
4
2017
Logics with lower and upper probability operators. Zbl 1422.03042
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
2
2017
A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 06769624
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
1
2017
AGM-style revision of beliefs and intentions. Zbl 1403.68278
van Zee, Marc; Doder, Dragan
2
2016
Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244
Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan
2
2015
Probabilistic abstract dialectical frameworks. Zbl 1343.68228
Polberg, Sylwia; Doder, Dragan
11
2014
A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017
Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar
2
2014
Probabilistic logics for objects located in space and time. Zbl 1267.03041
Doder, Dragan; Grant, John; Ognjanović, Zoran
6
2013
A first-order dynamic probability logic. Zbl 1390.03022
Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan
1
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
4
2012
A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Zbl 1289.03005
Doder, Dragan
4
2011
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
A logic with conditional probability operators. Zbl 1265.03010
Doder, Dragan; Marinković, Bojan; Maksimović, Petar; Perović, Aleksandar
2
2010

Citations by Year