Researchers
Ognjanović, Zoran
Results 1-13 of 13
Issue Date | Title | Author(s) | Type | Мp-cat. |
---|---|---|---|---|
2009 | Qualitative possibilities and necessities | Perović, Aleksandar; Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2008 | An axiomatizatin of qualitative probability | Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2008 | A probabilistic logic with polynomial weight formulas | Perović, Aleksandar; Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2008 | How to restore compactness into probabilistic logics? | Perović, Aleksandar; Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2008 | Internet presentations of mathematical works in Serbia![]() | Mijajlović, Žarko ![]() ![]() ![]() ![]() | Article | Mp. category will be shown later |
2008 | Interpolative Boolean logic | Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2007 | A logic with higher order conditional probabilities![]() | Ognjanović, Zoran ![]() ![]() ![]() ![]() | Article | Mp. category will be shown later |
2006 | PANDORA - Ekspertni sistem za datiranje iskopina![]() | Korać, Miomir ![]() ![]() ![]() ![]() | Article | Mp. category will be shown later |
2005 | Completeness theorem for a logic with imprecise and conditional probabilities | Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2001 | The resolution tableau for logics of likelihood | Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2001 | Completeness theorem for a first order linear-time logic | Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |
2000 | On two approaches to modal theorem proving | Ognjanović, Zoran ![]() ![]() | Article | Mp. category will be shown later |