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


Articles (7)

2018

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

2016

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

2014

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

2011

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

2009

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

2007

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

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

2004

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

Books (4)

2008

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

2006

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

Other (1)

2007

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

Proceedings (2)

2008

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

2006

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