Karel Chvalovský

I am a graduate student of logic supervised by dr. Marta Bílková at the Department of Logic, Charles University in Prague, Czech republic and Institute of Computer Science, Academy of Sciences of the Czech Republic. My thesis name is Automated Theorem Proving in Nonclassical Logics. I am especially interested in theoretical aspects of automated theorem proving in modal and fuzzy logics.

email: karel at chvalovsky dot cz