About me
Mgr. Marta Bílková, PhD.
I am a logician by trade. Currently, I am a senior researcher at the Institute of Computer Science.
My research interests circle around modal, substructural and many-valued logics, in particular epistemic logics, coalgebraic logics, and their proof theory.
I teach undergraduate courses on Modal Logics, Non-classical logics and Proof Theory at Department of Logic, Charles University.
I am working on these current projects:
CELIA - Coalition and Epistemic Logic: An Intensional Approach to Groups, (PI: Olivier Roy & Marta Bilkova, coPI: Ondrej Majer), joint LA-project of Czech Science Foundation (GACR) and DFG (2022-2025).
MetaSuMo: Metamathematics of Substructural Modal Logics, (PI: Petr Cintula), 2022-2024, Czech Science Foundation.
MOSAIC - Modalities in Substructural Logics: Theory, Methods and Applications. Rise-MSCA-2020 Project 101007627. (2021-2025)
https://sites.google.com/view/mosaic-rise/
SEGA - "From shared evidence to group attitudes", joint project of Czech Science Foundation (GACR) and DFG (2016-2018). www.sega-project.org
You can find me here:
ORCID, Scopus, dblp, Google Scholar, ResearchGate, LinkedIn,