Претрага




Резултати

Models for normal intuitionistic modal logics   [1983]

Došen, Kosta  ; Božić, Milan

Godel on Deduction   [2019]

Dosen, Kosta; Adžić, Miloš  

Sequent-systems and groupoid models. I   [1988]

Došen, Kosta  

Bicartesian coherence   [2002]

Došen, Kosta  ; Petrić, Zoran  

Duality between modal algebras and neighbourhood frames   [1989]

Došen, Kosta  

Models for normal intuitionistic modal logics   [1984]

Božić, Milan; Došen, Kosta  

Sequent-system and groupoid models. II   [1989]

Došen, Kosta  

The Logic ILP for Intuitionistic Reasoning About Probability   [2023]

Ilić Stepić, Angelina  ; Ognjanović, Zoran  ; Perović, Aleksandar

Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures   [2018]

Pech, Christian; Pech, Maja  

A note on sequent calculi intermediate between LJ and LK   [1988]

Boričić, Branislav  

Филтери

По типу