Search
Research outputs
Some probability logics with new types of probability operators [1999]
Ognjanović, Zoran
; Rašković, Miodrag
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
Detection and analysis of some redundancies in linear logic sequent proofs [2013]
Lutovac, Tatjana ; Harland, J.
Detecting loops during proof search in propositional affine logic [2006]
Lutovac, Tatjana ; Harland, J.
Rudimentary Beth models conditionally rudimentary Kripke models for the Heyting propositional calculus [1991]
Došen, Kosta
A proof-theoretic semantic analysis of dynamic epistemic logic [2016]
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta
Cut elimination and decidability for classical lambek logic [2008]
Ilić, Mirjana
Probabilistic justification logic [2020]
Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas
A logic with probabilistic Jaccard similarity
[2026]
Dabić, Maja; Stojanović, Nenad ; Ikodinović, Nebojša
Filters
By type
- 24