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; 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
Marković, Z. Modification of TOPSIS method for solving of multicriteria tasks. (English) Zbl 1299.90201 Yugosl. J. Oper. Res. 20, No. 1, 117-143 (2010). MSC: 90B50 PDF BibTeX XML Cite \textit{Z. Marković}, Yugosl. J. Oper. Res. 20, No. 1, 117--143 (2010; Zbl 1299.90201) Full Text: DOI
Doder, D.; Ognjanović, Z.; Marković, Z. An axiomatization of a first-order branching time temporal logic. (English) Zbl 1216.03033 J. UCS 16, No. 11, 1439-1451 (2010). MSC: 03B44 PDF BibTeX XML Cite \textit{D. Doder} et al., J. UCS 16, No. 11, 1439--1451 (2010; Zbl 1216.03033) Full Text: Link
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
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
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
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)
Jovanović, Rastko; Swiatkowski, Bartosz; Cvetinović, Dejan; Stefanović, Predrag; Marković, Zoran; Pavlović, Zoran Turbulent two-phase flow modeling of air-coal mixture channels with single blade turbulators. (English) Zbl 1152.76446 Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference of numerical analysis and applied mathematics, Corfu, Greece, 16–20 September 2007. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0447-2/hbk). AIP Conference Proceedings 936, 300-303 (2007). MSC: 76M25 76F99 PDF BibTeX XML Cite \textit{R. Jovanović} et al., AIP Conf. Proc. 936, 300--303 (2007; Zbl 1152.76446) Full Text: DOI
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
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; Đorđević, Radosav; Marković, Zoran A logic of approximate reasoning. (English) Zbl 0991.03027 Publ. Inst. Math., Nouv. Sér. 69(83), 8-12 (2001). Reviewer: Zoran Ognjanović (Beograd) MSC: 03B48 03C70 03C80 68T27 PDF BibTeX XML Cite \textit{M. Rašković} et al., Publ. Inst. Math., Nouv. Sér. 69(83), 8--12 (2001; Zbl 0991.03027) Full Text: EuDML
Mijajlović, Ž.; Marković, Z. Some recurrence formulas related to the differential operator \(\theta \)D. (English) Zbl 1034.11022 Facta Univ., Ser. Math. Inf. 13, 7-17 (1998). Reviewer: Aleksandar Ivić (Beograd) MSC: 11B75 11B73 12H05 PDF BibTeX XML Cite \textit{Ž. Mijajlović} and \textit{Z. Marković}, Facta Univ., Ser. Math. Inf. 13, 7--17 (1998; Zbl 1034.11022)
Marković, Zoran Intuitionistic and classical satisfiability in Kripke models. (English) Zbl 1014.03015 Facta Univ., Ser. Math. Inf. 13, 1-5 (1998). Reviewer: Branislav Boričić (Beograd) MSC: 03B20 03C90 03B55 03F55 PDF BibTeX XML Cite \textit{Z. Marković}, Facta Univ., Ser. Math. Inf. 13, 1--5 (1998; Zbl 1014.03015)
Marković, Zoran Intuitionistic and classical satisfiability in Kripke models. (English) Zbl 1002.03009 Facta Univ., Ser. Math. Inf. 13, 1-5 (1998). Reviewer: Zoran Petrić (Beograd) MSC: 03B20 03C90 03C25 PDF BibTeX XML Cite \textit{Z. Marković}, Facta Univ., Ser. Math. Inf. 13, 1--5 (1998; Zbl 1002.03009)
Marković, Zoran Omitting types in Kripke models. (English) Zbl 0843.03021 Filomat 9, No. 3, 803-807 (1995). MSC: 03C90 03B20 PDF BibTeX XML Cite \textit{Z. Marković}, Filomat 9, No. 3, 803--807 (1995; Zbl 0843.03021)
Marković, Zoran On the structure of Kripke models of Heyting arithmetic. (English) Zbl 0805.03050 Math. Log. Q. 39, No. 4, 531-538 (1993). MSC: 03F30 03F55 03C62 PDF BibTeX XML Cite \textit{Z. Marković}, Math. Log. Q. 39, No. 4, 531--538 (1993; Zbl 0805.03050) Full Text: DOI
Rakić, Milan V.; Marković, Zoran M. Optimal short-term operation planning of interconnected hydro-thermal power systems. (English) Zbl 0781.90062 Yugosl. J. Oper. Res. 3, No. 1, 73-102 (1993). MSC: 90B90 90C90 PDF BibTeX XML Cite \textit{M. V. Rakić} and \textit{Z. M. Marković}, Yugosl. J. Oper. Res. 3, No. 1, 73--102 (1993; Zbl 0781.90062)
Mijajlović, Žarko; Marković, Zoran; Došen, Kosta Hilbert’s problems and logic. (Hilbertovi problemi i logika). (Serbo-Croat) Zbl 0636.03001 Matematička Biblioteka, 48. Beograd: Zavod za Udžbenike i Nastavna Sredstva. 168 p. (1986). Reviewer: B.R.Boričić MSC: 03-02 03-03 01A60 PDF BibTeX XML
Marković, Zoran Kripke models for intuitionistic theories with decidable atomic formulas. (English) Zbl 0595.03037 Publ. Inst. Math., Nouv. Sér. 36(50), 3-7 (1984). MSC: 03C90 03B60 PDF BibTeX XML Cite \textit{Z. Marković}, Publ. Inst. Math., Nouv. Sér. 36(50), 3--7 (1984; Zbl 0595.03037) Full Text: EuDML
Marković, Zoran On reduced products of Kripke models. (English) Zbl 0595.03036 Publ. Inst. Math., Nouv. Sér. 34(48), 117-120 (1983). Reviewer: O.Sonobe MSC: 03C90 03B60 PDF BibTeX XML Cite \textit{Z. Marković}, Publ. Inst. Math., Nouv. Sér. 34(48), 117--120 (1983; Zbl 0595.03036) Full Text: EuDML
Markovic, Zoran Some preservation results for classical and intuitionistic satisfiability in Kripke models. (English) Zbl 0487.03015 Notre Dame J. Formal Logic 24, 395-398 (1983). MSC: 03C25 03F55 PDF BibTeX XML Cite \textit{Z. Markovic}, Notre Dame J. Formal Logic 24, 395--398 (1983; Zbl 0487.03015) Full Text: DOI
Markovic, Zoran On axiomatizability and preservation in Kripke models. (English) Zbl 0497.03028 Publ. Inst. Math., Nouv. Sér. 30(44), 111-112 (1981). MSC: 03C90 PDF BibTeX XML Cite \textit{Z. Markovic}, Publ. Inst. Math., Nouv. Sér. 30(44), 111--112 (1981; Zbl 0497.03028) Full Text: EuDML
Markovic, Zoran An intuitionistic omitting types theorem. (English) Zbl 0442.03027 Publ. Inst. Math., Nouv. Sér. 26(40), 167-169 (1979). MSC: 03C99 PDF BibTeX XML Cite \textit{Z. Markovic}, Publ. Inst. Math., Nouv. Sér. 26(40), 167--169 (1979; Zbl 0442.03027) Full Text: EuDML
Markovic, Zoran Reduced products of saturated intuitionistic theories. (English) Zbl 0367.02009 Publ. Inst. Math., Nouv. Sér. 21(35), 131-133 (1977). MSC: 03B55 03F55 03C99 PDF BibTeX XML Cite \textit{Z. Markovic}, Publ. Inst. Math., Nouv. Sér. 21(35), 131--133 (1977; Zbl 0367.02009) Full Text: EuDML