2 projects found matching your search criteria :
On finitely branching Kripke frames in modal logics
Call: OPUS 5 , Panel: HS1
Principal investigator: dr hab. Zofia Jadwiga Kostrzycka
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
Relationships between algebraic, modal and many-valued quantum logics
Call: PRELUDIUM 20 , Panel: HS1
Principal investigator: Elżbieta Jennifer Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II