Pozice: Vedoucí vědecký pracovník Oddělení: Oddělení teoretické informatiky E-mail: bilkova@cs.cas.cz ORCID Web of Science Scopus ASEP Web: https://sites.google.com/view/martabilkova Publikace Crisp bi-Gödel modal logic and its paraconsistent expansion (2023) TACL 2017: Topology, Algebra and Categories in Logic (2017) Interpretability in PRA (2009) Feasible Disjunction Property and Feasible Interpolation in Modal Logic (2007) Projekty Koaliční a epistemické logiky: intenzionální přístup ke skupinám (2022–2025)
