Marta Blkov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
2008–2025
Best venue rank
B
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PRIMA | Tableaux for Epistemic Gdel Logic. | Marta Blkov, Thomas Macaulay Ferguson, Daniil Kozhemiachenko |
| 2024 | AiML | Group Epistemics, (Co-)algebraically. | Marta Blkov |
| 2024 | AiML | Bisimulation for Impure Simplicial Complexes. | Marta Blkov, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa |
| 2023 | JELIA | Non-standard Modalities in Paraconsistent Gdel Logic. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko |
| 2023 | WoLLIC | Two-Layered Logics for Paraconsistent Probabilities. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer |
| 2022 | CADE | Paraconsistent Gdel Modal Logic. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko |
| 2021 | TABLEAUX | Constraint Tableaux for Two-Dimensional Fuzzy Logics. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko |
| 2018 | WoLLIC | Lindenbaum and Pair Extension Lemma in Infinitary Logics. | Marta Blkov, Petr Cintula, Toms Lvicka |
| 2016 | WoLLIC | Expressivity of Many-Valued Modal Logics, Coalgebraically. | Marta Blkov, Matej Dostl |
| 2013 | CALCO | Many-Valued Relation Lifting and Moss' Coalgebraic Logic. | Marta Blkov, Matej Dostl |
| 2012 | AiML | Distributive Substructural Logics as Coalgebraic Logics over Posets. | Marta Blkov, Rostislav Horck, Jir Velebil |
| 2011 | CALCO | Relation Liftings on Preorders and Posets. | Marta Blkov, Alexander Kurz, Daniela Petrisan, Jir Velebil |
| 2010 | AiML | Relevant Agents. | Marta Blkov, Ondrej Majer, Michal Pelis, Greg Restall |
| 2008 | AiML | Proof systems for the coalgebraic cover modality. | Marta Blkov, Alessandra Palmigiano, Yde Venema |