Претрага
Резултати
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities [2020]
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts [2025]
Borisavljevic, Mirjana PModal logic as metalogic [1992]
Došen, Kosta
Филтери
По типу