Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Completeness theorems for \(\sigma \)-additive probabilistic semantics. (English) Zbl 07160777 Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020). Reviewer: Jürgen Landes (München) MSC: 03B42 03B48 03C10 PDF BibTeX XML Cite \textit{N. Ikodinović} et al., Ann. Pure Appl. Logic 171, No. 4, Article ID 102755, 27 p. (2020; Zbl 07160777) Full Text: DOI
Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran; Rašković, Miodrag On evaluations of propositional formulas in countable structures. (English) Zbl 06749656 Filomat 30, No. 1, 1-13 (2016). MSC: 03B80 PDF BibTeX XML Cite \textit{A. Perović} et al., Filomat 30, No. 1, 1--13 (2016; Zbl 06749656) Full Text: DOI
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001 Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 60A05 68T37 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Probability logics. Probability-based formalization of uncertain reasoning. Cham: Springer (2016; Zbl 1371.03001) Full Text: DOI
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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{N. Ikodinović} et al., J. Mult.-Val. Log. Soft Comput. 20, No. 5--6, 527--555 (2013; Zbl 1393.03014) Full Text: Link
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar A propositional probabilistic logic with discrete linear time for reasoning about evidence. (English) Zbl 1269.03033 Ann. Math. Artif. Intell. 65, No. 2-3, 217-243 (2012). Reviewer: Jürgen Landes (Canterbury) MSC: 03B62 03B44 68T27 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Ann. Math. Artif. Intell. 65, No. 2--3, 217--243 (2012; Zbl 1269.03033) Full Text: DOI
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Radojević, Dragan Finitely additive probability measures on classical propositional formulas definable by Gödel’s t-norm and product t-norm. (English) Zbl 1233.03032 Fuzzy Sets Syst. 169, No. 1, 65-90 (2011). MSC: 03B52 03B48 PDF BibTeX XML Cite \textit{A. Perović} et al., Fuzzy Sets Syst. 169, No. 1, 65--90 (2011; Zbl 1233.03032) Full Text: DOI
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran Measures of inconsistency and defaults. (English) Zbl 1205.68422 Int. J. Approx. Reasoning 51, No. 7, 832-845 (2010). MSC: 68T37 PDF BibTeX XML Cite \textit{D. Doder} et al., Int. J. Approx. Reasoning 51, No. 7, 832--845 (2010; Zbl 1205.68422) Full Text: DOI
Ognjanović, Zoran; Rašković, Miodrag; Marković Zoran Probability logics. (English) Zbl 1224.03005 Ognjanović, Zoran (ed.), Logic in computer science. Beograd: Matematički Institut SANU (ISBN 978-86-80593-40-1/pbk). Zbornik Radova (Beograd) 12(20), 35-111 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 03B60 68T27 68T37 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., in: Logic in computer science. Beograd: Matematički Institut SANU. 35--111 (2009; Zbl 1224.03005)
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Qualitative possibilities and necessities. (English) Zbl 1245.68219 Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 651-662 (2009). MSC: 68T37 68T27 PDF BibTeX XML Cite \textit{A. Perović} et al., Lect. Notes Comput. Sci. 5590, 651--662 (2009; Zbl 1245.68219) Full Text: DOI
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran A logic with approximate conditional probabilities that can model default reasoning. (English) Zbl 1184.68520 Int. J. Approx. Reasoning 49, No. 1, 52-66 (2008). MSC: 68T37 03B48 03B60 68T27 PDF BibTeX XML Cite \textit{M. Rašković} et al., Int. J. Approx. Reasoning 49, No. 1, 52--66 (2008; Zbl 1184.68520) Full Text: DOI
Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag Interpolative Boolean logic. (English) Zbl 1169.03344 Dochev, Danail (ed.) et al., Artificial intelligence: Methodology, systems, and applications. 13th international conference, AIMSA 2008, Varna, Bulgaria, September 4–6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85775-4/pbk). Lecture Notes in Computer Science 5253. Lecture Notes in Artificial Intelligence, 209-219 (2008). MSC: 03B52 PDF BibTeX XML Cite \textit{D. Radojević} et al., Lect. Notes Comput. Sci. 5253, 209--219 (2008; Zbl 1169.03344) Full Text: DOI
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran How to restore compactness into probabilistic logics? (English) Zbl 1178.03034 Hölldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 338-348 (2008). MSC: 03B48 PDF BibTeX XML Cite \textit{A. Perović} et al., Lect. Notes Comput. Sci. 5293, 338--348 (2008; Zbl 1178.03034) Full Text: DOI
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag Logics with the qualitative probability operator. (English) Zbl 1138.03024 Log. J. IGPL 16, No. 2, 105-120 (2008). MSC: 03B48 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Log. J. IGPL 16, No. 2, 105--120 (2008; Zbl 1138.03024) Full Text: DOI
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran A probabilistic logic with polynomial weight formulas. (English) Zbl 1138.03315 Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 239-252 (2008). MSC: 03B48 PDF BibTeX XML Cite \textit{A. Perović} et al., Lect. Notes Comput. Sci. 4932, 239--252 (2008; Zbl 1138.03315) Full Text: DOI
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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{N. Ikodinovic} et al., Lect. Notes Comput. Sci. 4724, 128--138 (2007; Zbl 1148.68485) Full Text: DOI
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag Completeness theorem for logic with imprecise and conditional probabilities. (English) Zbl 1144.03019 Publ. Inst. Math., Nouv. Sér. 78(92), 35-49 (2005). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B48 03B70 03B45 68T37 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Publ. Inst. Math., Nouv. Sér. 78(92), 35--49 (2005; Zbl 1144.03019) Full Text: DOI EuDML
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran A logic with conditional probabilities. (English) Zbl 1111.68688 Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 226-238 (2004). MSC: 68T27 68T37 03B48 PDF BibTeX XML Cite \textit{M. Rašković} et al., Lect. Notes Comput. Sci. 3229, 226--238 (2004; Zbl 1111.68688) Full Text: DOI
Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran Completeness theorem for propositional probabilistic models whose measures have only finite ranges. (English) Zbl 1057.03028 Arch. Math. Logic 43, No. 4, 557-563 (2004). MSC: 03C70 03B48 PDF BibTeX XML Cite \textit{R. Đordević} et al., Arch. Math. Logic 43, No. 4, 557--563 (2004; Zbl 1057.03028) Full Text: DOI
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag An intuitionistic logic with probabilistic operators. (English) Zbl 1048.03020 Publ. Inst. Math., Nouv. Sér. 73(87), 31-38 (2003). Reviewer: Alex Nabebin (Moskva) MSC: 03B48 03C80 PDF BibTeX XML Cite \textit{Z. Marković} et al., Publ. Inst. Math., Nouv. Sér. 73(87), 31--38 (2003; Zbl 1048.03020) Full Text: DOI EuDML
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag A probabilistic extension of intuitionistic logic. (English) Zbl 1022.03011 Math. Log. Q. 49, No. 4, 415-424 (2003). MSC: 03B48 03B25 68T37 PDF BibTeX XML Cite \textit{Z. Marković} et al., Math. Log. Q. 49, No. 4, 415--424 (2003; Zbl 1022.03011) Full Text: DOI
Rašković, Miodrag; Ognjanović, Zoran; Petrović, Vladimir; Majstorović, Uroš An automated theorem prover for the probability logic LPP. (English) Zbl 1274.03041 Krapež, A. (ed.), A tribute to S. B. Prešić. Papers celebrating his 65th birthday. Beograd: Matematički Institut SANU. 79-83 (2001). MSC: 03B48 03B35 68T15 PDF BibTeX XML Cite \textit{M. Rašković} et al., in: A tribute to S. B. Prešić. Papers celebrating his 65th birthday. Beograd: Matematički Institut SANU. 79--83 (2001; Zbl 1274.03041)
Ognjanović, Zoran; Rašković, Miodrag On classical logic with probability operators: a short survey. (English) Zbl 1081.03504 Proceedings of the 10th congress of Yugoslav mathematicians, Belgrade, Yugoslavia, January 21–24, 2001. Belgrade: University of Belgrade, Faculty of Mathematics (ISBN 86-7589-021-4). 135-142 (2001). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 03-02 PDF BibTeX XML Cite \textit{Z. Ognjanović} and \textit{M. Rašković}, in: Proceedings of the 10th congress of Yugoslavian mathematicians, Belgrade, Yugoslavia, January 21--24, 2001. Belgrade: University of Belgrade, Faculty of Mathematics. 135--142 (2001; Zbl 1081.03504)
Ognjanovic, Z.; Raškovic, M. Some first-order probability logics. (English) Zbl 0954.03024 Theor. Comput. Sci. 247, No. 1-2, 191-212 (2000). MSC: 03B48 PDF BibTeX XML Cite \textit{Z. Ognjanovic} and \textit{M. Raškovic}, Theor. Comput. Sci. 247, No. 1--2, 191--212 (2000; Zbl 0954.03024) Full Text: DOI
Rašković, Miodrag; Ognjanović, Zoran A first order probability logic – \(LP_Q\). (English) Zbl 1006.03018 Publ. Inst. Math., Nouv. Sér. 65(79), 1-7 (1999). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 PDF BibTeX XML Cite \textit{M. Rašković} and \textit{Z. Ognjanović}, Publ. Inst. Math., Nouv. Sér. 65(79), 1--7 (1999; Zbl 1006.03018)
Ognjanović, Zoran; Rašković, Miodrag Some probability logics with new types of probability operators. (English) Zbl 0941.03022 J. Log. Comput. 9, No. 2, 181-195 (1999). MSC: 03B48 PDF BibTeX XML Cite \textit{Z. Ognjanović} and \textit{M. Rašković}, J. Log. Comput. 9, No. 2, 181--195 (1999; Zbl 0941.03022) Full Text: DOI
Ognjanović, Zoran; Rašković, Miodrag The completeness theorem for a temporal logic with probabilistic operators. (English) Zbl 1014.03509 Tošić, Ratko (ed.) et al., Proceedings of the VIII international conference on logic and computer science: theoretical foundations of computer science, Lira ’97, Novi Sad, Yugoslavia, September 1-4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics, 177-181 (1997). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 03B44 PDF BibTeX XML Cite \textit{Z. Ognjanović} and \textit{M. Rašković}, in: Proceedings of the VIII international conference on logic and computer science: theoretical foundations of computer science, Lira '97, Novi Sad, Yugoslavia, September 1--4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 177--181 (1997; Zbl 1014.03509)
Rašković, Miodrag; Ognjanović, Zoran A logic with higher order probabilities. (English) Zbl 1009.03513 Herceg, D. (ed.) et al., X conference on applied mathematics, PRIM ’95, Budva, Yugoslavia, May 29-31, 1995. Novi Sad: University of Novi Sad, Institute of Mathematics, Faculty of Science, 255-257 (1996). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 68T27 PDF BibTeX XML Cite \textit{M. Rašković} and \textit{Z. Ognjanović}, in: X conference on applied mathematics, PRIM '95, Budva, Yugoslavia, May 29--31, 1995. Novi Sad: University of Novi Sad, Institute of Mathematics, Faculty of Science. 255--257 (1996; Zbl 1009.03513)
Rašković, Miodrag; Ognjanović, Zoran Some propositional probabilistic logics. (English) Zbl 0884.03021 Sci. Rev., Ser. Sci. Eng. 19-20, 83-90 (1996). Reviewer: Aleksandar Kron (Zemun) MSC: 03B48 68T27 PDF BibTeX XML Cite \textit{M. Rašković} and \textit{Z. Ognjanović}, Sci. Rev., Ser. Sci. Eng. 19--20, 83--90 (1996; Zbl 0884.03021)
Ognjanović, Z.; Rašković, M. A logic with higher order probabilities. (English) Zbl 0884.03019 Publ. Inst. Math., Nouv. Sér. 60(74), 1-4 (1996). Reviewer: Aleksandar Kron (Beograd) MSC: 03B48 68T27 03C80 PDF BibTeX XML Cite \textit{Z. Ognjanović} and \textit{M. Rašković}, Publ. Inst. Math., Nouv. Sér. 60(74), 1--4 (1996; Zbl 0884.03019)
Rašković, Miodrag; Ognjanović, Zoran A logic for reasoning about probability. (English) Zbl 0863.03008 Herceg, D. (ed.) et al., IX conference on applied mathematics, Budva, Yugoslavia, May 30-June 1, 1994. Proceedings. Novi Sad: University of Novi Sad, 365-369 (1995). MSC: 03B48 68T27 PDF BibTeX XML Cite \textit{M. Rašković} and \textit{Z. Ognjanović}, in: IX conference on applied mathematics, Budva, Yugoslavia, May 30-June 1, 1994. Proceedings. Novi Sad: University of Novi Sad. 365--369 (1995; Zbl 0863.03008)