Representations of logical structures and formal languages and their application in computing

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 174026
 
Project title
Representations of logical structures and formal languages and their application in computing
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 
Grant number
174026
 

Publications
(All)

Refined By:
Rank:  M21

Results 1-11 of 11 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
1Moconja, Slavko; Tanović, Predrag Stationarily ordered types and the number of countable models1-Mar-2020Annals of Pure and Applied Logic; 171(3)M21
2Doder, Dragan; Savić, Nenad; Ognjanović, Zoran Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities1-Jan-2020Journal of Logic, Language and Information; 29; 77-107M21
3Ilić, Velimir ; Scarfone, Antonio Maria; Wada, TatsuakiEquivalence between four versions of thermostatistics based on strongly pseudoadditive entropies26-Dec-2019Physical Review E; 100(6)M21
4Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, ThomasA temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol1-Sep-2019Journal of Logic and Computation; 29(5); 803-830M21
5Milićević, Luka Covering complete graphs by monochromatically bounded sets1-Apr-2019Applicable Analysis and Discrete Mathematics; 13(1); 85-110M21
6Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions1-Apr-2019Journal of Logical and Algebraic Methods in Programming; 104; 127-173M21
7Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators1-Sep-2017International Journal of Approximate Reasoning; 88; 148-168M21
8Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, ThomasFirst steps towards probabilistic justification logic1-Jan-2015Logic Journal of the IGPL; 23(4); 662-687M21
9Petrić, Zoran On stretching the interval simplex-permutohedron1-Feb-2014Journal of Algebraic Combinatorics; 39(1); 99-125M21
10Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A first-order probabilistic logic with approximate conditional probabilities1-Jan-2014Logic Journal of the IGPL; 22(4); 539-564M21
11Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, NebojšaConditional p-adic probability logic1-Jan-2014International Journal of Approximate Reasoning; 55(9); 1843-1865M21