Marta Bílková

45 papers A 1B 13C 4Journal 22Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Agent Interpolation in Distributed Systems. RAMICS Marta Bílková, Wesley Fussner, Roman Kuznets
2025	J	`jnl`	Agent Interpolation for Knowledge. CoRR Marta Bílková, Wesley Fussner, Roman Kuznets
2025	J	`jnl`	Consistency-Sensitive Epistemic Modalities in Information-Based Semantics. Stud Logica Vít Puncochár, Marta Bílková, Sena Bozdag, Thomas M. Ferguson
2025	J	`jnl`	Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion. Log. J. IGPL Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2025	J	`jnl`	Fuzzy bi-Gödel modal logic and its paraconsistent relatives. J. Log. Comput. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2025	B	`conf`	Modal Logic for Reasoning About Uncertainty and Confusion. TARK Marta Bílková, Thomas M. Ferguson, Daniil Kozhemiachenko
2025	B	`conf`	Tableaux for Epistemic Gödel Logic. PRIMA Marta Bílková, Thomas Macaulay Ferguson, Daniil Kozhemiachenko
2025	J	`jnl`	Two-layered logics for probabilities and belief functions over Belnap-Dunn logic. Math. Struct. Comput. Sci. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2024	B	`conf`	Bisimulation for Impure Simplicial Complexes. AiML Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2024	J	`jnl`	Bisimulation for Impure Simplicial Complexes. CoRR Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2024	B	`conf`	Group Epistemics, (Co-)algebraically. AiML Marta Bílková
2024	J	`jnl`	Reasoning with belief functions over Belnap-Dunn logic. Ann. Pure Appl. Log. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
2023	—	`conf`	Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. ISIPTA Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
2023	—	`conf`	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. JIAF Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
2023	B	`conf`	Epistemic Logics of Structured Intensional Groups. TARK Marta Bílková, Igor Sedlár
2023	B	`conf`	Non-standard Modalities in Paraconsistent Gödel Logic. JELIA Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2023	J	`jnl`	Paraconsistent Gödel modal logic on bi-relational frames. CoRR Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2023	J	`jnl`	Qualitative reasoning in a two-layered framework. Int. J. Approx. Reason. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2023	C	`conf`	Two-Layered Logics for Paraconsistent Probabilities. WoLLIC Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2022	—	`conf`	Fonctions de croyances interprétées sur la logique de Belnap-Dunn. JIAF Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
2022	J	`jnl`	Moss' logic for ordered coalgebras. Log. Methods Comput. Sci. Marta Bílková, Matej Dostál
2022	A	`conf`	Paraconsistent Gödel Modal Logic. IJCAR Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2022	J	`jnl`	Theory and application of labelling techniques for interpretability logics. Math. Log. Q. Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec
2021	B	`conf`	Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2021	B	`conf`	Revisiting Epistemic Logic with Names. TARK Marta Bílková, Zoé Christoff, Olivier Roy
2020	—	`conf`	Belief Based on Inconsistent Information. DaLí Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
2020	J	`jnl`	How to reason with inconsistent probabilistic information? CoRR Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
2020	J	`jnl`	Proof Theory for Positive Logic with Weak Negation. Stud Logica Marta Bílková, Almudena Colacito
2019	J	`jnl`	Moss' logic for ordered coalgebras. CoRR Marta Bílková, Matej Dostál
2018	C	`conf`	Lindenbaum and Pair Extension Lemma in Infinitary Logics. WoLLIC Marta Bílková, Petr Cintula, Tomás Lávicka
2018	J	`jnl`	The Logic of Resources and Capabilities. Rev. Symb. Log. Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
2016	J	`jnl`	Epistemic logics for sceptical agents. J. Log. Comput. Marta Bílková, Ondrej Majer, Michal Pelis
2016	C	`conf`	Expressivity of Many-Valued Modal Logics, Coalgebraically. WoLLIC Marta Bílková, Matej Dostál
2014	J	`jnl`	Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. Marta Bílková, Alessandra Palmigiano, Yde Venema
2013	B	`conf`	Many-Valued Relation Lifting and Moss' Coalgebraic Logic. CALCO Marta Bílková, Matej Dostál
2013	J	`jnl`	Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil
2012	B	`conf`	Distributive Substructural Logics as Coalgebraic Logics over Posets. Advances in Modal Logic Marta Bílková, Rostislav Horcík, Jirí Velebil
2012	J	`jnl`	Relation Liftings on Preorders and Posets CoRR Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil
2011	J	`jnl`	On monotone modalities and adjointness. Math. Struct. Comput. Sci. Marta Bílková, Jirí Velebil, Yde Venema
2011	B	`conf`	Relation Liftings on Preorders and Posets. CALCO Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil
2010	B	`conf`	Relevant Agents. Advances in Modal Logic Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall
2009	—	`conf`	A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. TbiLLC Marta Bílková
2009	J	`jnl`	Interpretability in PRA. Ann. Pure Appl. Log. Marta Bílková, Dick de Jongh, Joost J. Joosten
2008	B	`conf`	Proof systems for the coalgebraic cover modality. Advances in Modal Logic Marta Bílková, Alessandra Palmigiano, Yde Venema
2007	J	`jnl`	Uniform Interpolation and Propositional Quantifiers in Modal Logics. Stud Logica Marta Bílková