Search




Research outputs

Probability and natural deduction   [2024]

Boricic-Joksimovic, Marija; Ikodinovic, Nebojsa M  ; Stojanovic, Nenad S  

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 logic of interactive proofs   [2022]

Lehnherr, David; Ognjanović, Zoran  ; Studer, Thomas

Detecting Loops During Proof Search in Propositional Affine Logic   [2006]

T. Lutovac  ; J. Harland

Discrete linear-time probabilistic logics: Completeness, decidability and complexity   [2006]

Ognjanović, Zoran  

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 

Probabilistic logics for objects located in space and time   [2013]

Doder, Dragan ; Grant, J.; Ognjanović, Zoran  

A logic with probabilistic Jaccard similarity   [2026]

Dabić, Maja; Stojanović, Nenad  ; Ikodinović, Nebojša  

Filters

By type