Uniform Interpolation and Propositional Quantifiers in Modal Logics. - Marta Bílková (Stud Logica, 2007)

Proof systems for the coalgebraic cover modality. - Marta Bílková; Alessandra Palmigiano; Yde Venema (Advances in Modal Logic, 2008)

A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. - Marta Bílková (TbiLLC, 2009)

Interpretability in PRA. - Marta Bílková; Dick de Jongh; Joost J. Joosten (Ann. Pure Appl. Log., 2009)

Relevant Agents. - Marta Bílková; Ondrej Majer; Michal Pelis; Greg Restall (Advances in Modal Logic, 2010)

Relation Liftings on Preorders and Posets. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (CALCO, 2011)

On monotone modalities and adjointness. - Marta Bílková; Jirí Velebil; Yde Venema (Math. Struct. Comput. Sci., 2011)

Distributive Substructural Logics as Coalgebraic Logics over Posets. - Marta Bílková; Rostislav Horcík; Jirí Velebil (Advances in Modal Logic, 2012)

Many-Valued Relation Lifting and Moss' Coalgebraic Logic. - Marta Bílková; Matej Dostál (CALCO, 2013)

Relation lifting, with an application to the many-valued cover modality. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (Log. Methods Comput. Sci., 2013)

Proof systems for Moss' coalgebraic logic. - Marta Bílková; Alessandra Palmigiano; Yde Venema (Theor. Comput. Sci., 2014)

Expressivity of Many-Valued Modal Logics, Coalgebraically. - Marta Bílková; Matej Dostál (WoLLIC, 2016)

Epistemic logics for sceptical agents. - Marta Bílková; Ondrej Majer; Michal Pelis (J. Log. Comput., 2016)

Lindenbaum and Pair Extension Lemma in Infinitary Logics. - Marta Bílková; Petr Cintula; Tomás Lávicka (WoLLIC, 2018)

The Logic of Resources and Capabilities. - Marta Bílková; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (Rev. Symb. Log., 2018)

Belief Based on Inconsistent Information. - Marta Bílková; Sabine Frittella; Ondrej Majer; Sajad Nazari (DaLí, 2020)

How to reason with inconsistent probabilistic information? - Marta Bílková; Sabine Frittella; Ondrej Majer; Sajad Nazari (CoRR, 2020)

Proof Theory for Positive Logic with Weak Negation. - Marta Bílková; Almudena Colacito (Stud Logica, 2020)

Constraint Tableaux for Two-Dimensional Fuzzy Logics. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (TABLEAUX, 2021)

Revisiting Epistemic Logic with Names. - Marta Bílková; Zoé Christoff; Olivier Roy (TARK, 2021)

Paraconsistent Gödel Modal Logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (IJCAR, 2022)

Fonctions de croyances interprétées sur la logique de Belnap-Dunn. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Sajad Nazari (JIAF, 2022)

Moss' logic for ordered coalgebras. - Marta Bílková; Matej Dostál (Log. Methods Comput. Sci., 2022)

Theory and application of labelling techniques for interpretability logics. - Evan Goris; Marta Bílková; Joost J. Joosten; Luka Mikec (Math. Log. Q., 2022)

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Krishna Manoorkar (ISIPTA, 2023)

Non-standard Modalities in Paraconsistent Gödel Logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (JELIA, 2023)

Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Krishna Manoorkar (JIAF, 2023)

Two-Layered Logics for Paraconsistent Probabilities. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (WoLLIC, 2023)

Paraconsistent Gödel modal logic on bi-relational frames. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (CoRR, 2023)

Epistemic Logics of Structured Intensional Groups. - Marta Bílková; Igor Sedlár (TARK, 2023)

Qualitative reasoning in a two-layered framework. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (Int. J. Approx. Reason., 2023)

Group Epistemics, (Co-)algebraically. - Marta Bílková (AiML, 2024)

Bisimulation for Impure Simplicial Complexes. - Marta Bílková; Hans van Ditmarsch; Roman Kuznets; Rojo Randrianomentsoa (AiML, 2024)

Reasoning with belief functions over Belnap-Dunn logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Sajad Nazari (Ann. Pure Appl. Log., 2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (J. Log. Comput., 2025)

Two-layered logics for probabilities and belief functions over Belnap-Dunn logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (Math. Struct. Comput. Sci., 2025)

Agent Interpolation for Knowledge. - Marta Bílková; Wesley Fussner; Roman Kuznets (CoRR, 2025)

Consistency-Sensitive Epistemic Modalities in Information-Based Semantics. - Vít Puncochár; Marta Bílková; Sena Bozdag; Thomas M. Ferguson (Stud Logica, 2025)