Search
Research outputs
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
Filters
By type
- 3