1. Research with MATF
  2. Research Outputs

Browsing by Author Ikodinović, Nebojša

Showing results 1 to 12 of 12
Issue DateTitleAuthor(s)Rank
2021Automated non-monotonic reasoning in System PStojanović, Tatjana; Ikodinović, Nebojša ; Davidović, Tatjana; Ognjanović, ZoranM22
1-Aug-2011Biprobability logic with conditional expectationRistić, Vladimir; Dordević, Radosav; Ikodinović, Nebojša 
1-Jan-2016Completeness theorem for continuous functions and product class-topologiesDjordjević, Radosav; Ristić, Vladimir; Ikodinović, Nebojša 
1-Apr-2020Completeness theorems for σ–additive probabilistic semanticsIkodinović, Nebojša ; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
1-Dec-2014Conditional p-adic probability logicIlić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša 
1-Jan-2014A first-order probabilistic logic with approximate conditional probabilitiesIkodinović, Nebojša ; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
1-Dec-2014Hierarchies of probabilistic logicsIkodinović, Nebojša ; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
13-May-2013Logics with generalized measure operatorsIkodinović, Nebojša ; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
1-Aug-2012A p-adic probability logicIlić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša ; Perović, Aleksandar
1-Jul-2016p-Adic probability logicsIlić Stepić, A.; Ognjanović, Z.; Ikodinović, Nebojša ; Perović, A.
1-Oct-2018A propositional logic with binary metric operatorsStojanović, Nenad; Ikodinović, Nebojša ; Djordjević, Radosav
1-Jan-2020A Propositional Metric Logic with Fixed Finite RangesDjordjevic, Radosav; Ikodinović, Nebojša ; Stojanovic, Nenad
Showing results 1 to 12 of 12