Претрага
Резултати
Discrete linear-time probabilistic logics: Completeness, decidability and complexity [2006]
Ognjanović, Zoran
Multi-type display calculus for dynamic epistemic logic [2016]
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta
Logics for reasoning about degrees of confirmation
[2021]
Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran
Detecting Loops During Proof Search in Propositional Affine Logic [2006]
T. Lutovac ; J. Harland
A logic of interactive proofs
[2022]
Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol [2019]
Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas
A system for named entity recognition based on local grammars [2014]
Krstev, Cvetana; Obradovi , I.; Utvić, Miloš ; Vitas, Duško
Rudimentary Beth models conditionally rudimentary Kripke models for the Heyting propositional calculus [1991]
Došen, Kosta
Some probability logics with new types of probability operators [1999]
Ognjanović, Zoran ; Rašković, Miodrag
Detection and analysis of some redundancies in linear logic sequent proofs [2013]
Lutovac, Tatjana ; Harland, J.
Филтери
По типу
- 24