The course deals with the extensions of classic logics concerning the possible world semantics, in particular with Tichy's Transparent Intensional Logic (TIL), compared to Montague and Kripke semantics of epistemic and modal logics.