Libor Behounek - Logic

Libor Behounek - Logic

Follow this link for more info about myself.


Affiliation

University of Ostrava >> Institute for Research and Applications of Fuzzy Modeling >> Libor Behounek (email: libor.behounek@osu.cz)


Papers

You can ask me for a copy of any of my papers that cannot be displayed here in full.

Published

Journal papers

Papers in conference proceedings and edited volumes

Minor publications

Translations

Selected presentations

(You can ask me for slides from other presentations by email.)

Unpublished


Editing

Special issues

Edited volumes


Teaching

Current courses

Nonclassical logics
A course at the University of Ostrava in the summer term of 2021/2022 (taught jointly with Antonin Dvorak)
Theories of vagueness
A course at the University of Ostrava in the summer term of 2021/2022 (taught jointly with Petra Murinova and Vilem Novak)

Planned courses

Mathematical logic and set theory
Planned to be taught jointly with Martina Dankova at the University of Ostrava in the winter term of 2022/2023

Past courses

Thesis supervision


Curriculum Vitae

2012--
University of Ostrava, Institute for Research and Applications of Fuzzy Modeling: junior researcher 2015--, postdoctoral fellow 2012-2015
2011-2012
Vienna University of Technology, Faculty of Mathematics and Geoinformation (2011-2012) and Faculty of Informatics (2012): postdoctoral project assistant
2003-2015
Academy of Sciences of the Czech Republic, Institute of Computer Science: full-time researcher 2009-2012, part-time researcher 2012-2015, full-time graduate student researcher 2005-2009, part-time graduate student researcher 2003-2004
1996-2009
Charles University in Prague, Faculty of Philosophy and Arts: PhD in Logic (2009, advisors: Petr Jirku and Petr Hajek); master's degree (2002, summa cum laude) in Logic (major) and Computational Linguistics (minor)

For more details, see my full CV here (PDF).

Trivia

My Hirsch index (as of 2022, by Scopus and WoS) is h = 9.
My Erdös number is (at most) E = 4, e.g. via Hajek - Paris - Kunen.