Pretraga
Rezultati
Modal logic as metalogic [1992]
Došen, Kosta
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts [2025]
Borisavljevic, Mirjana PMulti-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities [2020]
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
Filteri
Po tipu