Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for \(\sigma \)-additive probabilistic semantics. (English) Zbl 1452.03064 Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020). Reviewer: Jürgen Landes (München) MSC: 03B48 03B42 03C10 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 1452.03064) Full Text: DOI
Ikodinović, Nebojša; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran First-order probabilistic logics and their applications. (English) Zbl 1524.03019 Ghilezan, Silvia (ed.), Logic in computer science. II. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 18(26), 37-78 (2015). MSC: 03B48 03B25 68T37 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Zb. Rad. (Beogr.) 18, 37--78 (2015; Zbl 1524.03019) Full Text: Link
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran A first-order probabilistic logic with approximate conditional probabilities. (English) Zbl 1305.03021 Log. J. IGPL 22, No. 4, 539-564 (2014). MSC: 03B48 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Log. J. IGPL 22, No. 4, 539--564 (2014; Zbl 1305.03021) Full Text: DOI
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Hierarchies of probabilistic logics. (English) Zbl 1433.03061 Int. J. Approx. Reasoning 55, No. 9, 1830-1842 (2014). MSC: 03B48 03D55 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., Int. J. Approx. Reasoning 55, No. 9, 1830--1842 (2014; Zbl 1433.03061) Full Text: DOI
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran Logics with generalized measure operators. (English) Zbl 1393.03014 J. Mult.-Val. Log. Soft Comput. 20, No. 5-6, 527-555 (2013). MSC: 03B52 03B60 68T27 68T37 PDFBibTeX XMLCite \textit{N. Ikodinović} et al., J. Mult.-Val. Log. Soft Comput. 20, No. 5--6, 527--555 (2013; Zbl 1393.03014) Full Text: Link
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar Logics with probabilistic operators. (Serbian) Zbl 1240.03003 Čangalović, Mirjana (ed.) et al., XXXIV simpozijum o operacionim istraživanjima, SYM-OP-IS 2007. Zbornik Radova. Beograd: Fakultet Organizacionih Nauka (ISBN 978-86-7680-124-4). 649-651 (2007). Reviewer: Milija Suknović (Beograd) MSC: 03B48 PDFBibTeX XMLCite \textit{M. Rašković} et al., in: XXXIV simpozijum o operacionim istraživanjima, SYM-OP-IS 2007. Zbornik Radova. Beograd: Fakultet Organizacionih Nauka. 649--651 (2007; Zbl 1240.03003)
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran Measure logic. (English) Zbl 1148.68485 Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 128-138 (2007). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{N. Ikodinovic} et al., Lect. Notes Comput. Sci. 4724, 128--138 (2007; Zbl 1148.68485) Full Text: DOI