1 projects found matching your search criteria :
On finitely branching Kripke frames in modal logics
Call: OPUS 5 , Panel: HS1
Principal investigator: dr hab. Zofia Kostrzycka
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki