I'm a full professor of philosophy at Masaryk University (Brno, the Czech Republic) where I teach introductory logic courses, philosophical/non-classical logics and related subjects. My recent research is focussed on type theory (a higher-order logic) that deals with partial functions and quantification over computations. I also investigate applications of the type theory in philosophical logic (paradoxes, modality, existential generalisation, substitution, ...) and theory of natural language processing (hyperintensional meanings, propositional attitudes/belief sentences, ...).

Selected books

Selected papers