Ognjanović, Zoran

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications


Refined By:
Date Issued:  [1990 TO 1999]
Subject:  First order normal modal logics | Kripke models | Normal modal logics | Propositional logics | Resolution like inference | Tableau like proof procedure

Results 1-1 of 1 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Ognjanović, Zoran A tableau-like proof procedure for normal modal logics20-Jun-1994Theoretical Computer Science; 129(1); 167-186M23

Projects


Results 1-3 of 3 (Search time: 0.001 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 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran