Showing results 1 to 20 of 82
next >
| Issue Date | Title | Author(s) | Rank |
| 2021 | Automated non-monotonic reasoning in System P | Stojanović, Tatjana; Ikodinović, Nebojša ; Davidović, Tatjana; Ognjanović, Zoran | M22 |
| 1-Aug-2011 | Biprobability logic with conditional expectation | Ristić, Vladimir; Dordević, Radosav; Ikodinović, Nebojša | |
| 2018 | A class of models of bounded arithmetic and continuous logic | Ikodinović, Nebojša ; Lasković, Bojana | M64 |
| 1-Jan-2016 | Completeness theorem for continuous functions and product class-topologies | Djordjević, Radosav; Ristić, Vladimir; Ikodinović, Nebojša | M23 |
| 1-Jan-2007 | Completeness theorem for topological class models | Djordjevic, Radosav; Ikodinović, Nebojša ; Mijajlović, Žarko | M22 |
| 1-Apr-2020 | Completeness theorems for σ–additive probabilistic semantics | Ikodinović, Nebojša ; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag | M21 |
| 2012 | Conditional p-adic probability logic | Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša | M33 |
| 1-Dec-2014 | Conditional p-adic probability logic | Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša | |
| 2014 | Dealing with satisfiability problem in default logic using Bee-colony optimization | Stojanović, Tatjana; Ikodinović, Nebojša ; Davidović, Tatjana M.; Ognjanović, Zoran D. | M64 |
| 2016 | Erratum to: Extensions of the Probability Logics LPP2 and LFOP1 | Perović, Aleksandar; Doder, Dragan; Ikodinović, Nebojša ; Ilić-Stepić, Angelina | |
| 2016 | Erratum to: Extensions to Probability Logics LPP2 and LOFP1 | Perović, Aleksandar; Doder, Dragan; Ilić-Stepić, Angelina; Ikodinović, Nebojša | |
| 1-Jan-2014 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | |
| 2015 | First-order probabilistic logics and their applications | Ikodinović, Nebojša ; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran | M14 |
| 1-Dec-2014 | Hierarchies of probabilistic logics | Ikodinović, Nebojša ; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag | |
| 2013 | Hierarchies of probability logics | Ognjanović, Zoran; Perović, Aleksandar M; Rašković, Miodrag; Ikodinović, Nebojša | M64 |
| 2005 | A logic with coherent conditional probabilities | Ikodinović, Nebojša ; Ognjanović, Zoran | M33 |
| 1-Jan-2007 | A logic with higher order conditional probabilities | Ognjanović, Zoran; Ikodinović, Nebojša | |
| 1-Mar-2026 | A logic with probabilistic Jaccard similarity | Dabić, Maja; Stojanović, Nenad; Ikodinović, Nebojša | M21 |
| 13-May-2013 | Logics with generalized measure operators | Ikodinović, Nebojša ; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | |
| 2007 | Logike sa verovatnosnim operatorima | Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša ; Perović, Aleksandar | M33 |
