Nebojsa Ikodinovic

15 papers C 2Journal 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A logic with probabilistic Jaccard similarity. J. Log. Comput. Maja Dabic, Nenad Stojanovic, Nebojsa Ikodinovic
2025	J	`jnl`	Probability and natural deduction. J. Log. Comput. Marija Boricic Joksimovic, Nebojsa Ikodinovic, Nenad Stojanovic
2021	J	`jnl`	Automated non-monotonic reasoning in System P. Ann. Math. Artif. Intell. Tatjana Stojanovic, Nebojsa Ikodinovic, Tatjana Davidovic, Zoran Ognjanovic
2020	J	`jnl`	A Propositional Metric Logic with Fixed Finite Ranges. Fundam. Informaticae Radosav Djordjevic, Nebojsa Ikodinovic, Nenad Stojanovic
2020	J	`jnl`	Completeness theorems for Ann. Pure Appl. Log. Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2018	J	`jnl`	A Propositional Logic with Binary Metric Operators. FLAP Nenad Stojanovic, Nebojsa Ikodinovic, Radosav Djordjevic
2014	J	`jnl`	A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2014	J	`jnl`	Conditional p-adic probability logic. Int. J. Approx. Reason. Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic
2014	J	`jnl`	Hierarchies of probabilistic logics. Int. J. Approx. Reason. Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2013	J	`jnl`	Logics with Generalized Measure Operators. J. Multiple Valued Log. Soft Comput. Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2012	J	`jnl`	A p-adic probability logic. Math. Log. Q. Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic
2011	J	`jnl`	Biprobability logic with conditional expectation. Math. Log. Q. Vladimir Ristic, Radosav S. Dordevic, Nebojsa Ikodinovic
2007	J	`jnl`	Completeness theorem for topological class models. Arch. Math. Log. Radosav Djordjevic, Nebojsa Ikodinovic, Zarko Mijajlovic
2007	C	`conf`	Measure Logic. ECSQARU Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2005	C	`conf`	A Logic with Coherent Conditional Probabilities. ECSQARU Nebojsa Ikodinovic, Zoran Ognjanovic