Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marta Bílková
@article{DBLP:journals/ijar/BilkovaFKM23,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko and
Ondrej Majer},
title = {Qualitative reasoning in a two-layered framework},
journal = {Int. J. Approx. Reason.},
volume = {154},
pages = {84--108},
year = {2023},
url = {https://doi.org/10.1016/j.ijar.2022.12.011},
doi = {10.1016/J.IJAR.2022.12.011},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/BilkovaFKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isipta/BilkovaFKMM23,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko and
Ondrej Majer and
Krishna Manoorkar},
editor = {Enrique Miranda and
Ignacio Montes and
Erik Quaeghebeur and
Barbara Vantaggi},
title = {Describing and quantifying contradiction between pieces of evidence
via Belnap Dunn logic and Dempster-Shafer theory},
booktitle = {International Symposium on Imprecise Probability: Theories and Applications,
{ISIPTA} 2023, 11-14 July 2023, Oviedo, Spain},
series = {Proceedings of Machine Learning Research},
volume = {215},
pages = {37--47},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v215/bilkova23a.html},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isipta/BilkovaFKMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BilkovaFK23,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Non-standard Modalities in Paraconsistent G{\"{o}}del Logic},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {420--436},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_29},
doi = {10.1007/978-3-031-43619-2\_29},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BilkovaFK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jiaf/BilkovaFKMM23,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko and
Ondrej Majer and
Krishna Manoorkar},
editor = {Zied Bouraoui and
Fran{\c{c}}ois Schwarzentruber and
Ana{\"{e}}lle Wilczynski},
title = {D{\'{e}}crire et quantifier la contradiction entre des {\'{e}}l{\'{e}}ments
de preuve via la logique de Belnap-Dunn et la th{\'{e}}orie de
Dempster-Shafer},
booktitle = {17{\`{e}}mes Journ{\'{e}}es d'Intelligence Artificielle Fondamentale,
{JIAF} 2023, Strasbourg, France, July 6-7, 2023},
pages = {91--92},
year = {2023},
url = {https://hal.science/hal-04209856v1/document},
timestamp = {Thu, 02 Nov 2023 12:27:35 +0100},
biburl = {https://dblp.org/rec/conf/jiaf/BilkovaFKMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BilkovaFKM23,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko and
Ondrej Majer},
editor = {Helle Hvid Hansen and
Andre Scedrov and
Ruy J. G. B. de Queiroz},
title = {Two-Layered Logics for Paraconsistent Probabilities},
booktitle = {Logic, Language, Information, and Computation - 29th International
Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13923},
pages = {101--117},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39784-4\_7},
doi = {10.1007/978-3-031-39784-4\_7},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BilkovaFKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-05056,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Igor Sedl{\'{a}}r},
editor = {Rineke Verbrugge},
title = {Epistemic Logics of Structured Intensional Groups},
booktitle = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
series = {{EPTCS}},
volume = {379},
pages = {113--130},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.379.11},
doi = {10.4204/EPTCS.379.11},
timestamp = {Fri, 11 Aug 2023 14:29:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14164,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko},
title = {Paraconsistent G{\"{o}}del modal logic on bi-relational frames},
journal = {CoRR},
volume = {abs/2303.14164},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14164},
doi = {10.48550/ARXIV.2303.14164},
eprinttype = {arXiv},
eprint = {2303.14164},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BilkovaD22,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Matej Dost{\'{a}}l},
title = {Moss' logic for ordered coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:18)2022},
doi = {10.46298/LMCS-18(3:18)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BilkovaD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GorisBJM22,
author = {Evan Goris and
Marta B{\'{\i}}lkov{\'{a}} and
Joost J. Joosten and
Luka Mikec},
title = {Theory and application of labelling techniques for interpretability
logics},
journal = {Math. Log. Q.},
volume = {68},
number = {3},
pages = {352--374},
year = {2022},
url = {https://doi.org/10.1002/malq.202200015},
doi = {10.1002/MALQ.202200015},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GorisBJM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BilkovaFK22,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Paraconsistent G{\"{o}}del Modal Logic},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {429--448},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_26},
doi = {10.1007/978-3-031-10769-6\_26},
timestamp = {Mon, 24 Oct 2022 16:36:35 +0200},
biburl = {https://dblp.org/rec/conf/cade/BilkovaFK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jiaf/BilkovaFKMN22,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko and
Ondrej Majer and
Sajad Nazari},
editor = {Zied Bouraoui and
Ana{\"{e}}lle Wilczynski},
title = {Fonctions de croyances interpr{\'{e}}t{\'{e}}es sur la logique
de Belnap-Dunn},
booktitle = {16{\`{e}}mes Journ{\'{e}}es d'Intelligence Artificielle Fondamentale,
{JIAF} 2022, Saint-{\'{E}}tienne, France, June 30 - July 1, 2022},
pages = {133--134},
year = {2022},
url = {https://hal.archives-ouvertes.fr/hal-03781382/document},
timestamp = {Thu, 02 Nov 2023 16:47:34 +0100},
biburl = {https://dblp.org/rec/conf/jiaf/BilkovaFKMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BilkovaFK21,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Daniil Kozhemiachenko},
editor = {Anupam Das and
Sara Negri},
title = {Constraint Tableaux for Two-Dimensional Fuzzy Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 30th
International Conference, {TABLEAUX} 2021, Birmingham, UK, September
6-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12842},
pages = {20--37},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86059-2\_2},
doi = {10.1007/978-3-030-86059-2\_2},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BilkovaFK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11493,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Zo{\'{e}} Christoff and
Olivier Roy},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {Revisiting Epistemic Logic with Names},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {39--54},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.4},
doi = {10.4204/EPTCS.335.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BilkovaC20,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Almudena Colacito},
title = {Proof Theory for Positive Logic with Weak Negation},
journal = {Stud Logica},
volume = {108},
number = {4},
pages = {649--686},
year = {2020},
url = {https://doi.org/10.1007/s11225-019-09869-y},
doi = {10.1007/S11225-019-09869-Y},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BilkovaC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/BilkovaFMN20,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Ondrej Majer and
Sajad Nazari},
editor = {Manuel A. Martins and
Igor Sedl{\'{a}}r},
title = {Belief Based on Inconsistent Information},
booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop,
DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12569},
pages = {68--86},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65840-3\_5},
doi = {10.1007/978-3-030-65840-3\_5},
timestamp = {Wed, 21 Apr 2021 08:53:38 +0200},
biburl = {https://dblp.org/rec/conf/dali/BilkovaFMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-12906,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Sabine Frittella and
Ondrej Majer and
Sajad Nazari},
title = {How to reason with inconsistent probabilistic information?},
journal = {CoRR},
volume = {abs/2003.12906},
year = {2020},
url = {https://arxiv.org/abs/2003.12906},
eprinttype = {arXiv},
eprint = {2003.12906},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-12906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-06547,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Matej Dost{\'{a}}l},
title = {Moss' logic for ordered coalgebras},
journal = {CoRR},
volume = {abs/1901.06547},
year = {2019},
url = {http://arxiv.org/abs/1901.06547},
eprinttype = {arXiv},
eprint = {1901.06547},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-06547.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BilkovaGPT18,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Giuseppe Greco and
Alessandra Palmigiano and
Apostolos Tzimoulis},
title = {The Logic of Resources and Capabilities},
journal = {Rev. Symb. Log.},
volume = {11},
number = {2},
pages = {371--410},
year = {2018},
url = {https://doi.org/10.1017/S175502031700034X},
doi = {10.1017/S175502031700034X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BilkovaGPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BilkovaCL18,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Petr Cintula and
Tom{\'{a}}s L{\'{a}}vicka},
editor = {Lawrence S. Moss and
Ruy J. G. B. de Queiroz and
Maricarmen Mart{\'{\i}}nez},
title = {Lindenbaum and Pair Extension Lemma in Infinitary Logics},
booktitle = {Logic, Language, Information, and Computation - 25th International
Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10944},
pages = {130--144},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-57669-4\_7},
doi = {10.1007/978-3-662-57669-4\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BilkovaCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BilkovaMP16,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Ondrej Majer and
Michal Pelis},
title = {Epistemic logics for sceptical agents},
journal = {J. Log. Comput.},
volume = {26},
number = {6},
pages = {1815--1841},
year = {2016},
url = {https://doi.org/10.1093/logcom/exv009},
doi = {10.1093/LOGCOM/EXV009},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BilkovaMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BilkovaD16,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Matej Dost{\'{a}}l},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {Expressivity of Many-Valued Modal Logics, Coalgebraically},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {109--124},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_8},
doi = {10.1007/978-3-662-52921-8\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BilkovaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BilkovaPV14,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alessandra Palmigiano and
Yde Venema},
title = {Proof systems for Moss' coalgebraic logic},
journal = {Theor. Comput. Sci.},
volume = {549},
pages = {36--60},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.06.018},
doi = {10.1016/J.TCS.2014.06.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BilkovaPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BilkovaKPV13,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
title = {Relation lifting, with an application to the many-valued cover modality},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:8)2013},
doi = {10.2168/LMCS-9(4:8)2013},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BilkovaKPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BilkovaD13,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Matej Dost{\'{a}}l},
editor = {Reiko Heckel and
Stefan Milius},
title = {Many-Valued Relation Lifting and Moss' Coalgebraic Logic},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {66--79},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_7},
doi = {10.1007/978-3-642-40206-7\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/BilkovaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BilkovaHV12,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Rostislav Horc{\'{\i}}k and
Jir{\'{\i}} Velebil},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Distributive Substructural Logics as Coalgebraic Logics over Posets},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {119--142},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Bilkova-Horcik-Velebil.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BilkovaHV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1433,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
title = {Relation Liftings on Preorders and Posets},
journal = {CoRR},
volume = {abs/1210.1433},
year = {2012},
url = {http://arxiv.org/abs/1210.1433},
eprinttype = {arXiv},
eprint = {1210.1433},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-1433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BilkovaVV11,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Jir{\'{\i}} Velebil and
Yde Venema},
title = {On monotone modalities and adjointness},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {383--416},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000514},
doi = {10.1017/S0960129510000514},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BilkovaVV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BilkovaKPV11,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Relation Liftings on Preorders and Posets},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {115--129},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_9},
doi = {10.1007/978-3-642-22944-2\_9},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BilkovaKPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BilkovaMPR10,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Ondrej Majer and
Michal Pelis and
Greg Restall},
editor = {Lev D. Beklemishev and
Valentin Goranko and
Valentin B. Shehtman},
title = {Relevant Agents},
booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances
in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
pages = {22--38},
publisher = {College Publications},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Bilkova-Majer-Pelis-Restall.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BilkovaMPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BilkovaJJ09,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Dick de Jongh and
Joost J. Joosten},
title = {Interpretability in {PRA}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {128--138},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.012},
doi = {10.1016/J.APAL.2009.05.012},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BilkovaJJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Bilkova09,
author = {Marta B{\'{\i}}lkov{\'{a}}},
editor = {Nick Bezhanishvili and
Sebastian L{\"{o}}bner and
Kerstin Schwabe and
Luca Spada},
title = {A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi},
booktitle = {Logic, Language, and Computation - 8th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia,
September 21-25, 2009. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6618},
pages = {30--45},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-22303-7\_3},
doi = {10.1007/978-3-642-22303-7\_3},
timestamp = {Mon, 01 May 2023 13:01:33 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Bilkova09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BilkovaPV08,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alessandra Palmigiano and
Yde Venema},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Proof systems for the coalgebraic cover modality},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {1--21},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BilkovaPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Bilkova07,
author = {Marta B{\'{\i}}lkov{\'{a}}},
title = {Uniform Interpolation and Propositional Quantifiers in Modal Logics},
journal = {Stud Logica},
volume = {85},
number = {1},
pages = {1--31},
year = {2007},
url = {https://doi.org/10.1007/s11225-007-9021-5},
doi = {10.1007/S11225-007-9021-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Bilkova07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
