Rašković, Miodrag

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Rašković, Miodrag
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 21-39 of 39 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
21Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran Completeness theorem for propositional probabilistic models whose measures have only finite ranges1-Jan-2004Archive for Mathematical Logic; 43; 557-563M22
22Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic extension of intuitionistic logic1-Jan-2003Mathematical Logic Quarterly; 49(4); 415-424M22
23Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag An intuitionistic logic with probabilistic operators2003Publications de l'Institut Mathematique; 73(87); 31-38M24
24Ognjanović, Zoran ; Rašković, Miodrag Some first-order probability logics28-Sep-2000Theoretical Computer Science; 247(1-2); 191-212M23
25Ognjanović, Zoran ; Rašković, Miodrag Some probability logics with new types of probability operators1-Jan-1999Journal of Logic and Computation; 9(2); 181-195M21
26Rašković, Miodrag ; Ognjanović, Zoran A first order probability logic, LPQ1999Publications de l'Institut Mathematique; 65(79); 1-7M24
27Ognjanović, Zoran ; Rašković, Miodrag A logic with higher order probabilities1996Publications de l'Institut Mathematique; 60(74); 1-4M24
28Rašković, Miodrag ; Tanović, Predrag Completeness theorem for a monadic logic with both first-order and probability quantifiers1990Publications de l'Institut Mathématique; 47(61); 1-14M24
29Rašković, Miodrag Covering theorem for sequences of integers1989Zbornik radova PMF u Kragujevcu; 10; 43-46
30Rašković, Miodrag Completeness theorem for singular biprobability models1988Proceeding of The American Mathematical Society; 102(2); 389-392
31Rašković, Miodrag Weak completness theorem for LAπᵾ logic1987Zbornik radova PMF u Kragujevcu; 8; 69-72
32Rašković, Miodrag ; Živaljević, Rade Barwise Completeness Theorems for Some Biprobability Logics1986Zeitschrift für Mathematische Logik und Grundlagen der Mathematik; 32(7-9); 133-135
33Gutman, Ivan; Rašković, Miodrag Monte Carlo Approach to Total π-Electron Energy of Conjugated Hydrocarbons1986Zeitschrift für Naturforschung A; 40(10); 1059-1061
34Rašković, Miodrag Completeness theorem for biprobability models1986The Journal of Symbolic Logic; 51(3); 586-590
35Rašković, Miodrag An application of non-standard analisys to functional equations1985Publications de l'Institut Mathématique; 37(51); 23-24
36Rašković, Miodrag Model theory for LAM logic1985Publications de l'Institut Mathématique; 37(51); 17-22
37Rašković, Miodrag Luzinova teorema u alternativnoj teoriji skupova1985Zbornik radova PMF u Kragujevcu; 77-81
38Rašković, Miodrag Measure and integration in alternative set theory1981Publications de l'Institut Mathématique; 29(43); 191-197
39Rašković, Miodrag Stav potpunosti infinitivne intuicionističke logike za Kripkeove Modele1980Zbornik radova PMF u Kragujevcu; 1; 159-165

Projects
(Co-Investigators)


Results 1-6 of 6 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT III 044006Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education01-01-201131-12-2019Ognjanović, Zoran
PROJECT 1585History and Philosophy of Mathematics01-01-200231-12-2005Božić, Milan
PROJECT 144050History and philosophy of mathematics and natural sciences01-01-200631-12-2010Božić, Milan
PROJECT 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran