Edit Profile (opens in new tab) Ognjanović, Zoran Co-Author Distance Author ID: ognjanovic.zoran Published as: Ognjanović, Zoran; Ognjanović, Z.; Ognjanovic, Z.; Ognjanovic, Zoran; OgnjanoviĆ, Zoran more...less Homepage: http://www.mi.sanu.ac.rs/~zorano/ External Links: MGP · ORCID · dblp Documents Indexed: 98 Publications since 1994, including 1 Book and 1 Additional arXiv Preprint 5 Contributions as Editor Co-Authors: 43 Co-Authors with 97 Joint Publications 553 Co-Co-Authors all top 5 Co-Authors 6 single-authored 34 Rašković, Miodrag D. 23 Perović, Aleksandar 22 Doder, Dragan 18 Marković, Zoran M. 14 Ikodinović, Nebojša 11 Ilić Stepić, Angelina 9 Studer, Thomas 8 Savić, Nenad 4 Dautović, Šejla 4 Kratica, Jozef J. 4 Marinković, Bojan 3 Glavan, Paola 3 Kokkinis, Ioannis 3 Tomović, Siniša 2 Ghilezan, Silvia 2 Ivetić, Jelena 2 Kašterović, Simona 2 Kern-Isberner, Gabriele 2 Lehnherr, David 2 Majstorović, Uroš 2 Midić, Uroš 2 Mijajlović, Žarko 2 Milošević, Miloš 2 Milovanović, Miloš 2 Radojević, Dragan G. 2 Stojanović, Tatjana 1 Davidović, Tatjana 1 Đorđević, Radosav S. 1 Grant, John R. 1 Huylebrouck, Dirk 1 Ilić-Stepić, Anelina 1 Jovanović, Dejan 1 Kaplarević-Mališić, Ana 1 Knežević, Mateja 1 Maksimović, Petar 1 Mihaljević, Miodrag J. 1 Mladenović, Nenad 1 Pejovic, Aleksandar 1 Petrović, Vladimir V. 1 Radović, Ljiljana M. 1 Šegan, Marija 1 Timotijević, Tatjana 1 Vujošević, Sandra all top 5 Serials 9 Publications de l’Institut Mathématique. Nouvelle Série 7 International Journal of Approximate Reasoning 7 Journal of Logic and Computation 6 Logic Journal of the IGPL 3 Studia Logica 3 Theoretical Computer Science 3 Mathematical Logic Quarterly (MLQ) 2 Annals of Pure and Applied Logic 2 Annals of Mathematics and Artificial Intelligence 2 Kragujevac Journal of Mathematics 1 The Mathematical Intelligencer 1 Fuzzy Sets and Systems 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Filomat 1 Mathematical Problems in Engineering 1 Scientific Review. Series: Science and Engineering 1 Novi Sad Journal of Mathematics 1 Journal of Universal Computer Science 1 ACM Transactions on Computational Logic 1 Journal of Multiple-Valued Logic and Soft Computing 1 Journal of Applied Logic 1 Lecture Notes in Computer Science 1 Zbornik Radova (Beograd) 1 Mathematics in Computer Science 1 Logica Universalis 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications all top 5 Fields 83 Mathematical logic and foundations (03-XX) 52 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 Information and communication theory, circuits (94-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 73 Publications have been cited 480 times in 132 Documents Cited by ▼ Year ▼ Some first-order probability logics. Zbl 0954.03024 Ognjanovic, Z.; Raškovic, M. 33 2000 Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001 Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 25 2016 Some probability logics with new types of probability operators. Zbl 0941.03022 Ognjanović, Zoran; Rašković, Miodrag 25 1999 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 16 2008 Measures of inconsistency and defaults. Zbl 1205.68422 Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran 15 2010 A logic with conditional probabilities. Zbl 1111.68688 Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran 14 2004 Probability logics. Zbl 1224.03005 Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 14 2009 A probabilistic extension of intuitionistic logic. Zbl 1022.03011 Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag 14 2003 Discrete linear-time probabilistic logics: completeness, decidability and complexity. Zbl 1102.03022 Ognjanović, Zoran 14 2006 Completeness theorem for logic with imprecise and conditional probabilities. Zbl 1144.03019 Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag 13 2005 A probabilistic logic with polynomial weight formulas. Zbl 1138.03315 Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 11 2008 A first-order conditional probability logic. Zbl 1251.03030 Milošević, Miloš; Ognjanović, Zoran 11 2012 A \(p\)-adic probability logic. Zbl 1251.03027 Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša; Perović, Aleksandar 10 2012 Conditional \(p\)-adic probability logic. Zbl 1433.03062 Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša 9 2014 Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Zbl 1057.03028 Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran 9 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 9 2012 A first order probability logic – \(LP_Q\). Zbl 1006.03018 Rašković, Miodrag; Ognjanović, Zoran 9 1999 First steps towards probabilistic justification logic. Zbl 1405.03057 Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas 9 2015 A logic with higher order probabilities. Zbl 0884.03019 Ognjanović, Z.; Rašković, M. 8 1996 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017 Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 8 2014 Probabilistic logics with independence and confirmation. Zbl 1417.03171 Doder, Dragan; Ognjanović, Zoran 8 2017 Logics with lower and upper probability operators. Zbl 1422.03042 Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 8 2017 Probabilistic justification logic. Zbl 1476.03013 Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas 8 2016 An intuitionistic logic with probabilistic operators. Zbl 1048.03020 Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag 8 2003 \(p\)-adic probability logics. Zbl 1353.03013 Ilić Stepić, A.; Ognjanović, Z.; Ikodinović, N.; Perović, A. 7 2016 A logic with higher order conditional probabilities. Zbl 1203.68206 Ognjanović, Zoran; Ikodinović, Nebojša 7 2007 An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033 Doder, D.; Ognjanović, Z.; Marković, Z. 7 2010 A logic with coherent conditional probabilities. Zbl 1122.03015 Ikodinović, Nebojša; Ognjanović, Zoran 7 2005 Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers. Zbl 1382.03045 Ilić Stepić, Angelina; Ognjanović, Zoran 6 2015 Justification logic with approximate conditional probabilities. Zbl 1495.03024 Ognjanović, Zoran; Savić, Nenad; Studer, Thomas 6 2017 Probabilistic logics for objects located in space and time. Zbl 1267.03041 Doder, Dragan; Grant, John; Ognjanović, Zoran 6 2013 A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038 Tomović, S.; Ognjanović, Z.; Doder, D. 6 2020 A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. Zbl 1442.68222 Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Studer, Thomas 6 2019 An epistemic probabilistic logic with conditional probabilities. Zbl 07437047 Dautović, Šejla; Doder, Dragan; Ognjanović, Zoran 6 2021 A first-order conditional probability logic with iterations. Zbl 1313.03008 Milošević, Miloš; Ognjanović, Zoran 5 2013 Complex valued probability logics. Zbl 1474.03079 Ilić Stepić, Angelina; Ognjanović, Zoran 5 2014 How to restore compactness into probabilistic logics? Zbl 1178.03034 Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 5 2008 Variable neighborhood search for the probabilistic satisfiability problem. Zbl 1171.90561 Jovanović, Dejan; Mladenović, Nenad; Ognjanović, Zoran 5 2007 Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244 Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan 5 2015 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 Measure logic. Zbl 1148.68485 Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran 4 2007 Multi-agent logics for reasoning about higher-order upper and lower probabilities. Zbl 1477.03069 Doder, Dragan; Savić, Nenad; Ognjanović, Zoran 4 2020 A tableau-like proof procedure for normal modal logics. Zbl 0805.03007 Ognjanović, Zoran 3 1994 Hierarchies of probabilistic logics. Zbl 1433.03061 Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag 3 2014 A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 1508.68359 Doder, Dragan; Savić, Nenad; Ognjanović, Zoran 3 2018 Completeness theorems for \(\sigma \)-additive probabilistic semantics. Zbl 1452.03064 Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag 3 2020 Probabilistic justification logic. Zbl 1515.03073 Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas 3 2020 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 Reasoning about knowledge and conditional probability. Zbl 1542.03040 Dautović, Šejla; Doder, Dragan; Ognjanović, Zoran 2 2023 Completeness theorem for a first order linear-time logic. Zbl 1265.03009 Ognjanović, Zoran 2 2001 Mathematical Institute, Serbian Academy of Sciences and Arts. 70th anniversary of the Institute. Zbl 1352.01060 2 2016 A first-order dynamic probability logic. Zbl 1390.03022 Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan 2 2013 Tableau for the logic ILP. Zbl 1513.03030 Ognjanović, Zoran; Perović, Aleksandar; Ilić-Stepić, Angelina 2 2022 A logic with higher order probabilities. Zbl 1009.03513 Rašković, Miodrag; Ognjanović, Zoran 2 1996 Interpolative Boolean logic. Zbl 1169.03344 Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag 2 2008 A genetic algorithm for satisfiability problem in a probabilistic logic: A first report. Zbl 1001.68566 Ognjanović, Zoran; Kratica, Jozef; Milovanović, Miloš 2 2001 Logics for reasoning about degrees of confirmation. Zbl 07451583 DautoviĆ, Šejla; Doder, Dragan; OgnjanoviĆ, Zoran 2 2021 A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 1491.03020 Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 1 2017 Some propositional probabilistic logics. Zbl 0884.03021 Rašković, Miodrag; Ognjanović, Zoran 1 1996 Probabilistic consensus of the blockchain protocol. Zbl 1535.68345 Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Doder, Dragan; Studer, Thomas 1 2019 A genetic algorithm for probabilistic SAT problem. Zbl 1058.68648 Ognjanović, Zoran; Midić, Uroš; Kratica, Jozef 1 2004 Logics with probabilistic operators. Zbl 1240.03003 Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar 1 2007 On evaluations of propositional formulas in countable structures. Zbl 1474.03064 Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran; Rašković, Miodrag 1 2016 Qualitative possibilities and necessities. Zbl 1245.68219 Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 1 2009 First-order probabilistic logics and their applications. Zbl 1524.03019 Ikodinović, Nebojša; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 1 2015 Probabilistic approach to nonmonotonic consequence relations. Zbl 1341.68211 Doder, Dragan; Perović, Aleksandar; Ognjanović, Zoran 1 2011 Logic in computer science. Zbl 1158.00015 1 2009 Proving properties of the Chord protocol using the ASM formalism. Zbl 1410.68051 Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran 1 2019 Probabilistic reasoning about simply typed lambda terms. Zbl 1505.03035 Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad 1 2018 Probabilistic extensions of various logical systems. Zbl 1472.03002 1 2020 A logic of interactive proofs. Zbl 07638205 Lehnherr, David; Ognjanović, Zoran; Studer, Thomas 1 2022 Reasoning about knowledge and conditional probability. Zbl 1542.03040 Dautović, Šejla; Doder, Dragan; Ognjanović, Zoran 2 2023 Tableau for the logic ILP. Zbl 1513.03030 Ognjanović, Zoran; Perović, Aleksandar; Ilić-Stepić, Angelina 2 2022 A logic of interactive proofs. Zbl 07638205 Lehnherr, David; Ognjanović, Zoran; Studer, Thomas 1 2022 An epistemic probabilistic logic with conditional probabilities. Zbl 07437047 Dautović, Šejla; Doder, Dragan; Ognjanović, Zoran 6 2021 Logics for reasoning about degrees of confirmation. Zbl 07451583 DautoviĆ, Šejla; Doder, Dragan; OgnjanoviĆ, Zoran 2 2021 A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038 Tomović, S.; Ognjanović, Z.; Doder, D. 6 2020 Multi-agent logics for reasoning about higher-order upper and lower probabilities. Zbl 1477.03069 Doder, Dragan; Savić, Nenad; Ognjanović, Zoran 4 2020 Completeness theorems for \(\sigma \)-additive probabilistic semantics. Zbl 1452.03064 Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag 3 2020 Probabilistic justification logic. Zbl 1515.03073 Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas 3 2020 Probabilistic extensions of various logical systems. Zbl 1472.03002 1 2020 A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. Zbl 1442.68222 Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Studer, Thomas 6 2019 Probabilistic consensus of the blockchain protocol. Zbl 1535.68345 Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Doder, Dragan; Studer, Thomas 1 2019 Proving properties of the Chord protocol using the ASM formalism. Zbl 1410.68051 Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran 1 2019 A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 1508.68359 Doder, Dragan; Savić, Nenad; Ognjanović, Zoran 3 2018 Probabilistic reasoning about simply typed lambda terms. Zbl 1505.03035 Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad 1 2018 Probabilistic logics with independence and confirmation. Zbl 1417.03171 Doder, Dragan; Ognjanović, Zoran 8 2017 Logics with lower and upper probability operators. Zbl 1422.03042 Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 8 2017 Justification logic with approximate conditional probabilities. Zbl 1495.03024 Ognjanović, Zoran; Savić, Nenad; Studer, Thomas 6 2017 A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 1491.03020 Savić, Nenad; Doder, Dragan; Ognjanović, Zoran 1 2017 Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001 Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 25 2016 Probabilistic justification logic. Zbl 1476.03013 Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas 8 2016 \(p\)-adic probability logics. Zbl 1353.03013 Ilić Stepić, A.; Ognjanović, Z.; Ikodinović, N.; Perović, A. 7 2016 Mathematical Institute, Serbian Academy of Sciences and Arts. 70th anniversary of the Institute. Zbl 1352.01060 2 2016 On evaluations of propositional formulas in countable structures. Zbl 1474.03064 Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran; Rašković, Miodrag 1 2016 First steps towards probabilistic justification logic. Zbl 1405.03057 Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas 9 2015 Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers. Zbl 1382.03045 Ilić Stepić, Angelina; Ognjanović, Zoran 6 2015 Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244 Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan 5 2015 First-order probabilistic logics and their applications. Zbl 1524.03019 Ikodinović, Nebojša; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 1 2015 Conditional \(p\)-adic probability logic. Zbl 1433.03062 Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša 9 2014 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017 Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 8 2014 Complex valued probability logics. Zbl 1474.03079 Ilić Stepić, Angelina; Ognjanović, Zoran 5 2014 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 Probabilistic logics for objects located in space and time. Zbl 1267.03041 Doder, Dragan; Grant, John; Ognjanović, Zoran 6 2013 A first-order conditional probability logic with iterations. Zbl 1313.03008 Milošević, Miloš; Ognjanović, Zoran 5 2013 Logics with generalized measure operators. Zbl 1393.03014 Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran 2 2013 A first-order dynamic probability logic. Zbl 1390.03022 Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan 2 2013 A first-order conditional probability logic. Zbl 1251.03030 Milošević, Miloš; Ognjanović, Zoran 11 2012 A \(p\)-adic probability logic. Zbl 1251.03027 Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša; Perović, Aleksandar 10 2012 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 9 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 Probabilistic approach to nonmonotonic consequence relations. Zbl 1341.68211 Doder, Dragan; Perović, Aleksandar; Ognjanović, Zoran 1 2011 Measures of inconsistency and defaults. Zbl 1205.68422 Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran 15 2010 An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033 Doder, D.; Ognjanović, Z.; Marković, Z. 7 2010 Probability logics. Zbl 1224.03005 Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 14 2009 Qualitative possibilities and necessities. Zbl 1245.68219 Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 1 2009 Logic in computer science. Zbl 1158.00015 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 16 2008 A probabilistic logic with polynomial weight formulas. Zbl 1138.03315 Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran 11 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 2 2008 A logic with higher order conditional probabilities. Zbl 1203.68206 Ognjanović, Zoran; Ikodinović, Nebojša 7 2007 Variable neighborhood search for the probabilistic satisfiability problem. Zbl 1171.90561 Jovanović, Dejan; Mladenović, Nenad; Ognjanović, Zoran 5 2007 Measure logic. Zbl 1148.68485 Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran 4 2007 Logics with probabilistic operators. Zbl 1240.03003 Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar 1 2007 Discrete linear-time probabilistic logics: completeness, decidability and complexity. Zbl 1102.03022 Ognjanović, Zoran 14 2006 Completeness theorem for logic with imprecise and conditional probabilities. Zbl 1144.03019 Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag 13 2005 A logic with coherent conditional probabilities. Zbl 1122.03015 Ikodinović, Nebojša; Ognjanović, Zoran 7 2005 A logic with conditional probabilities. Zbl 1111.68688 Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran 14 2004 Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Zbl 1057.03028 Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran 9 2004 A genetic algorithm for probabilistic SAT problem. Zbl 1058.68648 Ognjanović, Zoran; Midić, Uroš; Kratica, Jozef 1 2004 A probabilistic extension of intuitionistic logic. Zbl 1022.03011 Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag 14 2003 An intuitionistic logic with probabilistic operators. Zbl 1048.03020 Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag 8 2003 Completeness theorem for a first order linear-time logic. Zbl 1265.03009 Ognjanović, Zoran 2 2001 A genetic algorithm for satisfiability problem in a probabilistic logic: A first report. Zbl 1001.68566 Ognjanović, Zoran; Kratica, Jozef; Milovanović, Miloš 2 2001 Some first-order probability logics. Zbl 0954.03024 Ognjanovic, Z.; Raškovic, M. 33 2000 Some probability logics with new types of probability operators. Zbl 0941.03022 Ognjanović, Zoran; Rašković, Miodrag 25 1999 A first order probability logic – \(LP_Q\). Zbl 1006.03018 Rašković, Miodrag; Ognjanović, Zoran 9 1999 A logic with higher order probabilities. Zbl 0884.03019 Ognjanović, Z.; Rašković, M. 8 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 A tableau-like proof procedure for normal modal logics. Zbl 0805.03007 Ognjanović, Zoran 3 1994 all cited Publications top 5 cited Publications all top 5 Cited by 184 Authors 35 Ognjanović, Zoran 16 Doder, Dragan 16 Perović, Aleksandar 13 Rašković, Miodrag D. 10 Ikodinović, Nebojša 9 Ilić Stepić, Angelina 7 Marković, Zoran M. 7 Studer, Thomas 6 Grant, John R. 5 Parisi, Francesco 4 Dautović, Šejla 4 Savić, Nenad 3 De Bona, Glauber 3 Gagliardi Cozman, Fabio 3 Kokkinis, Ioannis 3 Liau, Churn-Jung 3 Thimm, Matthias 2 Belle, Vaishak 2 Bílková, Marta 2 Boričić, Marija 2 Cozman, Fabio G. 2 Demri, Stéphane P. 2 Đorđević, Radosav S. 2 Ehab, Nourhan 2 Fan, Tuan-Fang 2 Frittella, Sabine 2 Hansen, Pierre 2 Hosni, Hykel 2 Hunter, Anthony 2 Ibeling, Duligur 2 Icard, Thomas F. III 2 Ismail, Haythem O. 2 Kozhemiachenko, Daniil 2 Landes, Jürgen 2 Lehnherr, David 2 Levesque, Hector J. 2 Majer, Ondrej 2 Martinez, Maria Vanina 2 Mladenović, Nenad 2 Molinaro, Cristian 2 Moreno-Pérez, José Andrés 2 Mossé, Milan 2 Mu, Kedian 2 Raddaoui, Badran 2 Radojević, Dragan G. 2 Rohani, Atefeh 1 Ah-Pine, Julien 1 Ahmad, Mohd Ali Khameini 1 Antonelli, Melissa 1 Baltazar, Pedro 1 Barbero, Fausto 1 Bell, David A. 1 Bhattacharjya, Debarun 1 Bodeveix, Jean-Paul 1 Brickhill, Hazel 1 Brunel, Julien 1 Cachin, Christian 1 Čangalović, Mirjana M. 1 Chemouil, David 1 Cline, Melissa S. 1 Da Rocha, José Carlos Ferreira 1 Dal Lago, Ugo 1 Davidović, Tatjana 1 de Campos, Cassio Polpo 1 De Carvalho Ferreira, Nivea 1 De Groot, Jim 1 de Wit, Vincent 1 Dolgorukov, Vitaliĭ Vladimirovich 1 Dragovich, Branko 1 Dubois, Didier 1 Fan, Xiuyi 1 Faroldi, Federico L. G. 1 Ferenczi, Miklós 1 Ferrucci, Luca 1 Filali, Mamoun 1 Finger, Marcelo 1 Fisher, Michael 1 Flaminio, Tommaso 1 French, Tim 1 Galimullin, Rustam 1 Gilio, Angelo 1 Gladyshev, Maksim 1 Godo, Lluís 1 Gray, Alexander G. 1 Grbić, Tatjana 1 Grujić, Gabrijela 1 Gusmão, Arthur Colombini 1 Haenni, Rolf 1 Hahn, Ernst Moritz 1 Hallonquist, Neil F. 1 He, Qing 1 Henderson, Thomas C. 1 Hirsch, Robin 1 Horsten, Leon 1 Hudelmaier, Jörg 1 Ilić-Stepić, Anelina 1 Jabbour, Said 1 Jaffuel, Bruno 1 Jäger, Manfred 1 Jahn, Michael A. ...and 84 more Authors all top 5 Cited in 31 Serials 24 International Journal of Approximate Reasoning 7 Artificial Intelligence 5 Studia Logica 5 Annals of Mathematics and Artificial Intelligence 5 Logica Universalis 4 Fuzzy Sets and Systems 4 Annals of Pure and Applied Logic 3 Theoretical Computer Science 3 Journal of Applied Non-Classical Logics 3 Journal of Applied Logic 2 Archive for Mathematical Logic 2 Journal of Logic, Language and Information 2 Mathematical Logic Quarterly (MLQ) 2 Applicable Analysis and Discrete Mathematics 2 The Review of Symbolic Logic 2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 2 Open Mathematics 1 Journal of Statistical Physics 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Synthese 1 Annals of Operations Research 1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques 1 Journal of Functional Programming 1 The Journal of Artificial Intelligence Research (JAIR) 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Logic and Logical Philosophy 1 ACM Transactions on Computational Logic 1 4OR 1 Journal of Multiple-Valued Logic and Soft Computing 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 19 Fields 89 Mathematical logic and foundations (03-XX) 65 Computer science (68-XX) 8 Probability theory and stochastic processes (60-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Real functions (26-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Number theory (11-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Approximations and expansions (41-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year