Special course `An Introduction to Non-classical Logics` (or `Logical Calculi`)
This course gives a general introduction to relational semantics for non-classical logics (including modal and non-modal ones) which is also known as Kripke semantics. A rather wide range of topics is brought together, those demonstrating the relevance of deductive systems to modern research both in computer science and logical philosophy.
Special course `Algebraic Logic`
This course gives a general introduction to algebraic approach to non-classical logics (including modal and non-modal ones). It comprises, inter alia, a brief survey of necessary results from universal algebra and lattice theory. Also the basic methods for investigating classes of extensions of non-classical logics are demonstrated.