16 May at hours 11:15 (after the Faculty council) in Hall 104 INF will be held a seminar of the Institute of Informatics, where Dr. Sławomir Kost will make a paper titled: “Design Approximation in the logic of intuitionism and the modal logic S4”.
Summary: The S. Ghilardi algorithm is presented to verify that the given intuitionistic formula is design. Next, we are inclined to solve the problem of finding a design approximation in the intuitionistic logic and discuss these issues in the context of the S4 modal logic.