Marta Bílková

I"m an assistant professor at Department of Logic, Faculty of Arts, Charles University in Prague
a researcher at Department of Theoretical Computer Science, Institute of Computer Science AS CR

address:    Celetná 20, 
                116 42 Praha 1
                Czech Republic
room:       120
email:        marta.bilkova (at)

Teaching (in czech only)- Introduction to classical logic, Modal logics, Proof theory, Nonclassical logics, Coalgebraic logic

Research interestsModal logic, substructural logics, coalgebraic logic, proof theory


Project "Proof Theory of Modal Coalgebraic Logics"

A Gathering of Prague-based Logicians, 15-16 February 2013

ALCOP 2012, Prague, Czech Republic, 16-18 April 2012