Browsing eNauka
Browsing by Author Ikodinović, Nebojša
Showing results 1 to 20 of 128
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2018 | A class of models of bounded arithmetic and continuous logic | Ikodinović, Nebojša M.   ; Lasković, Bojana Ž. | Conference Paper | Mp. category will be shown later |
| 2011 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, Miodrag ; Zoran Marković; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2014 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, M.; Marković, Z.; Ognjanović, Zoran | Article | 21a+M21a+ |
| 2005 | A logic with coherent conditional probabilities | Ikodinović, Nebojša ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2007 | A logic with higher order conditional probabilities | Ognjanović, Zoran ; Ikodinović, Nebojša | Article | Mp. category will be shown later |
| 2005 | A logic with Kolmogorov style conditional probabilities | Ognjanović, Zoran ; Ikodinović, Nebojša ; Marković, Zoran | Conference Paper | Mp. category will be shown later |
| 2026 | A logic with probabilistic Jaccard similarity | Dabić, Maja; Stojanović, Nenad ; Ikodinović, Nebojša | Article | 21M21 |
| 2012 | A p-adic probability logic | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša ; Perović, Aleksandar | Article | 22M22 |
| 2015 | A p-adic probability logic | Ikodinović, Nebojša ; Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar M. | Conference Paper | Mp. category will be shown later |
| 2018 | A propositional logic with binary metric operators | Stojanović, Nenad S. ; Ikodinović, Nebojša M. ; Đorđević, Radosav S. | Article | 21M21 |
| 2017 | A propositional logic with metric operators | Stojanović, Nenad S. ; Ikodinović, Nebojša M. ; Đorđević, Radosav S. | Conference Paper | Mp. category will be shown later |
| 2020 | A Propositional Metric Logic with Fixed Finite Ranges | Djordjevic R.; Ikodinović, Nebojša. ; Stojanovic, Nenad | Article | 22M22 |
| 2016 | Анализa пребројивих модела потпуних теорија линеарно уређених структура | Ilić, Dejan D. | Doctoral theses | 70M70 |
| 2015 | Асиметрични правилни типови | Moconja, Slavko M. | Doctoral theses | 70M70 |
| 2021 | Automated non-monotonic reasoning in System P | Stojanovic, Tatjana ; Ikodinović, Nebojša. ; Davidovíc T. ; Ognjanović Z. | Article | 22M22 |
| 2011 | Biprobability logic with conditional expectation | Ristić, Vladimir ; Đorđević, Radosav; Ikodinović, Nebojša | Article | 22M22 |
| 2016 | Completeness theorem for continuous functions and product class-topologies | Đorđević, Radosav ; Ristić, Vladimir ; Ikodinović, Nebojša | Article | 23M23 |
| 2007 | Completeness theorem for topological class models | Đorđević, Radosav ; Ikodinović, Nebojša ; Mijajlović, Žarko | Article | 22M22 |
| 2020 | Completeness theorems for σ–additive probabilistic semantics | Ikodinović, Nebojša ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Article | 21aM21a |
| 2012 | Conditional p-adic probability logic | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Conference Paper | Mp. category will be shown later |