Browsing eNauka
Browsing by Author Rašković, Miodrag
Showing results 1 to 20 of 54
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2003 | A Conditional Probability Logic | Rašković, Miodrag; Ognjanović, Zoran   ; Marković, Zoran | Conference Paper | Mp. category will be shown later |
| 1999 | A first order probability logic, LPQ | Rašković, Miodrag; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 1995 | A logic for reasoning about Probability | Rašković, Miodrag; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2008 | A logic with approximate conditional probabilities that can model default reasoning | Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | Article | 22M22 |
| 2004 | A logic with conditional probabilities | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Article | 22M22 |
| 1996 | A logic with higher order probabilities | Rašković, Miodrag; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 1996 | A logic with higher order probabilities | Ognjanović, Zoran ; Rašković, Miodrag | Article | Mp. category will be shown later |
| 2004 | A Probabilistic Approach to Default Reasoning | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Conference Paper | Mp. category will be shown later |
| 2003 | A probabilistic extension of intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Article | 22M22 |
| 2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Conference Paper | Mp. category will be shown later |
| 2008 | A probabilistic logic with polynomial weight formulas | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag; Marković, Zoran | Article | Mp. category will be shown later |
| 1985 | An application of non-standard analisys to functional equations | Rašković, Miodrag | Article | Mp. category will be shown later |
| 2001 | An automated theorem prover for the probability logic LPP | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Conference Paper | Mp. category will be shown later |
| 2007 | An axiomatization of qualitative probability | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Conference Paper | Mp. category will be shown later |
| 2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Article | Mp. category will be shown later |
| 1986 | Barwise Completeness Theorems for Some Biprobability Logics | Rašković, Miodrag; Živaljević, Rade | Article | Mp. category will be shown later |
| 2005 | Completeness theorem for a logic with imprecise and conditional probabilities | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag | Article | Mp. category will be shown later |
| 1990 | Completeness theorem for a monadic logic with both first-order and probability quantifiers | Rašković, Miodrag; Tanović, Predrag | Article | Mp. category will be shown later |
| 1986 | Completeness theorem for biprobability models | Rašković, Miodrag | Article | 21M21 |
| 2019 | Completeness theorem for probability models with finitely many valued measure | Rašković, Miodrag; Đorđević, Radosav ; Stojanović, Nenad | Article | 21M21 |