Pretraga




Rezultati

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

Logics for reasoning about degrees of confirmation   [2021]

Dautović, Šejla  ; Doder, Dragan ; Ognjanović, Zoran  

Multi-type display calculus for dynamic epistemic logic   [2016]

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

J.P. Cleave, "A Study of Logics" - Oxford University Press, Oxford, 1991   [1993]

Došen, Kosta  

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

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

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.

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

Ognjanović, Zoran  

Detecting loops during proof search in propositional affine logic   [2006]

Lutovac, Tatjana  ; Harland, J.

Filteri

Po tipu