Pretraga




Rezultati

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.

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

Some probability logics with new types of probability operators   [1999]

Ognjanović, Zoran  ; Rašković, Miodrag

A proof-theoretic semantic analysis of dynamic epistemic logic   [2016]

Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta 

Suppes-style sequent calculus for probability logic   [2015]

Boričić, Marija  

Extended natural deduction images of conversions from the system of sequents   [2004]

Borisavljević, Mirjana  

Kripke-style semantics and completeness for full simply typed Lambda calculus   [2021]

Kašterović, Simona  ; Ghilezan, Silvia 

Logics for at most countable first-order structures   [2024]

Perovic, Aleksandar M; Ognjanovic, Zoran D  ; Stojanovic, Tatjana P  

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

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

Filteri

Po tipu