Ognjanović, Zoran; Perović, Aleksandar; Ilić-Stepić, Angelina Tableau for the logic ILP. (English) Zbl 1513.03030 Publ. Inst. Math., Nouv. Sér. 112(126), 1-11 (2022). MSC: 03B20 03B48 PDFBibTeX XMLCite \textit{Z. Ognjanović} et al., Publ. Inst. Math., Nouv. Sér. 112(126), 1--11 (2022; Zbl 1513.03030) Full Text: DOI
Ilić Stepić, Angelina; Ognjanović, Zoran Complex valued probability logics. (English) Zbl 1474.03079 Publ. Inst. Math., Nouv. Sér. 95(109), 73-86 (2014). MSC: 03B48 03B50 PDFBibTeX XMLCite \textit{A. Ilić Stepić} and \textit{Z. Ognjanović}, Publ. Inst. Math., Nouv. Sér. 95(109), 73--86 (2014; Zbl 1474.03079) Full Text: DOI
Mijajlović, Žarko; Doder, Dragan; Ilić-Stepić, Angelina Borel sets, countable models. (English) Zbl 1289.03023 Publ. Inst. Math., Nouv. Sér. 90(104), 1-11 (2011). Reviewer: Aleksandar Perović (Beograd) MSC: 03C07 03C15 03C75 03E15 PDFBibTeX XMLCite \textit{Ž. Mijajlović} et al., Publ. Inst. Math., Nouv. Sér. 90(104), 1--11 (2011; Zbl 1289.03023) Full Text: DOI
Ilić-Stepić, Angelina A logic for reasoning about qualitative probability. (English) Zbl 1289.03006 Publ. Inst. Math., Nouv. Sér. 87(101), 97-108 (2010). Reviewer: Aleksandar Perović (Beograd) MSC: 03B48 60A05 PDFBibTeX XMLCite \textit{A. Ilić-Stepić}, Publ. Inst. Math., Nouv. Sér. 87(101), 97--108 (2010; Zbl 1289.03006) Full Text: DOI