Search
Research outputs
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.
Rudimentary Beth models conditionally rudimentary Kripke models for the Heyting propositional calculus [1991]
Došen, Kosta
Detecting loops during proof search in propositional affine logic [2006]
Lutovac, Tatjana ; Harland, J.
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
Discrete linear-time probabilistic logics: Completeness, decidability and complexity [2006]
Ognjanović, Zoran
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
Filters
By type
- 24