Contacts

Email: marta.bilkova@ff.cuni.cz
WWW: https://sites.google.com/view/martabilkova

Office: 120

Research Areas

nonclassical logic, coalgebraic logic, proof theory

Teaching

Classical Logic I (ALG110023)
Modal Logics I (ALG210008)
Proof Theory (ALGV00012)
Proof Theory (ALG500001)
Seminar of Applied Mathematical Logic (ALG500011)

Mgr. Marta Bílková, PhD.

Marta Bílková​

Research interests

Modal logics, epistemic logics, substructural logics, coalgebraic logics, proof theory

Current projects

SEGA - "From shared attitudes to group agency", 3-year joint project of Czech Science Foundation (GACR) and DFG.  
​​​​​​​www.sega-project.org

On my personal web page you can find
​​​​​​​my full publication list and more about me.

Publications

Plain text, BibTex

Articles (7)

2018

M. Bílková MOSS' LOGIC FOR ORDERED COALGEBRAS (preprint)
BibTeX
M. Bílková The Logic of Resources and Capabilities (preprint)
BibTeX

2016

M. Bílková, O. Majer, M. Peliš Epistemic Logics for Skeptical Agents Journal of Logic and Computation, 26 6 6 2016 1815-1841
DOI BibTeX

2014

M. Bílková, A. Palmigiano, Y. Venema Proof systems for Moss' coalgebraic logic Theoretical Computer Science, 549 549 2014 36-60
DOI BibTeX

2011

M. Bílková, J. Velebil, Y. Venema On Monotone Modalities and Adjointness Mathematical Structures in Computer Science, 21 21 2011 383-416
DOI BibTeX

2009

M. Bílková, J. Joosten Interpretability in PRA Annals of Pure and Applied Logic, 161 2 2 2009 128-138
BibTeX

2007

M. Bílková Uniform interpolation and propositional quantifiers in modal logics Studia Logica, 85 1 1 2007 1;31
BibTeX

Book Chapters (2)

2010

M. Bílková, O. Majer, M. Peliš, G. Restall Relevant Agents 22-38 in Advances in Modal Logic 2010 ISBN 978-1-84890-013-4
BibTeX

2004

M. Bílková, E. Goris, J. Joosten Smart Labels 1-9 2004 ISBN 90-5776-1289
BibTeX

Books (4)

2008

M. BílkováConsequence, Inference, Structure: Miscellanea Logica VII UK FF , Praha 2008 ISBN 978-80-7308-261-1
BibTeX
M. BílkováNormal forms, Distributive laws, and Uniform interpolants UK FF , Praha 2008 ISBN 978-80-7308-261-1
BibTeX

2006

M. BílkováInterpolation in Modal Logics UK Praha , Praha 2006
BibTeX
M. Bílková, O. TomalaThe Logica Yearbook 2005 Filosofia, nakladatelství Filosofického ústavu AV ČR , Praha 2006 ISBN 80-7007-229-6
BibTeX

Other (1)

2007

M. Bílková Feasible Disjunction Property and Feasible Interpolation in Modal Logic 2007
BibTeX

Proceedings (2)

2008

M. Bílková, A. Palmigiano, Y. Venema Proof systems for the coalgebraic cover modality in Advances in Modal Logic Vol. 7
BibTeX

2006

L. Běhounek, M. Bílková Preface
BibTeX