Pretraga
Rezultati
Detecting Loops During Proof Search in Propositional Affine Logic [2006]
T. LutovacA logic of interactive proofs
[2022]
Lehnherr, David; Ognjanović, Zoran Logics for reasoning about degrees of confirmation
[2021]
Dautović, Šejla Multi-type display calculus for dynamic epistemic logic [2016]
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, VlastaJ.P. Cleave, "A Study of Logics" - Oxford University Press, Oxford, 1991 [1993]
Došen, KostaA proof-theoretic semantic analysis of dynamic epistemic logic [2016]
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, VlastaSome probability logics with new types of probability operators [1999]
Ognjanović, ZoranDetection and analysis of some redundancies in linear logic sequent proofs [2013]
Lutovac, TatjanaDiscrete linear-time probabilistic logics: Completeness, decidability and complexity [2006]
Ognjanović, ZoranDetecting loops during proof search in propositional affine logic [2006]
Lutovac, TatjanaFilteri
Po tipu
- 24