default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarta Bílková
Person information
- affiliation: Czech Academy of Sciences, Prague, Czech Republic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j12]Marta Bílková
, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari:
Reasoning with belief functions over Belnap-Dunn logic. Ann. Pure Appl. Log. 175(9): 103338 (2024)- [c20]Marta Bílková:
Group Epistemics, (Co-)algebraically. AiML 2024: 5-8 - [c19]Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa:
Bisimulation for Impure Simplicial Complexes. AiML 2024: 225-248 - [i5]Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa:
Bisimulation for Impure Simplicial Complexes. CoRR abs/2406.16785 (2024) - 2023
- [j11]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer:
Qualitative reasoning in a two-layered framework. Int. J. Approx. Reason. 154: 84-108 (2023) - [c18]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar:
Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. ISIPTA 2023: 37-47 - [c17]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko:
Non-standard Modalities in Paraconsistent Gödel Logic. JELIA 2023: 420-436 - [c16]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar:
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 2023: 91-92 - [c15]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer:
Two-Layered Logics for Paraconsistent Probabilities. WoLLIC 2023: 101-117 - [c14]Marta Bílková, Igor Sedlár:
Epistemic Logics of Structured Intensional Groups. TARK 2023: 113-130 - [i4]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko:
Paraconsistent Gödel modal logic on bi-relational frames. CoRR abs/2303.14164 (2023) - 2022
- [j10]Marta Bílková, Matej Dostál:
Moss' logic for ordered coalgebras. Log. Methods Comput. Sci. 18(3) (2022) - [j9]Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec:
Theory and application of labelling techniques for interpretability logics. Math. Log. Q. 68(3): 352-374 (2022) - [c13]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko:
Paraconsistent Gödel Modal Logic. IJCAR 2022: 429-448 - [c12]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari:
Fonctions de croyances interprétées sur la logique de Belnap-Dunn. JIAF 2022: 133-134 - 2021
- [c11]Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko:
Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX 2021: 20-37 - [c10]Marta Bílková, Zoé Christoff, Olivier Roy:
Revisiting Epistemic Logic with Names. TARK 2021: 39-54 - 2020
- [j8]Marta Bílková, Almudena Colacito:
Proof Theory for Positive Logic with Weak Negation. Stud Logica 108(4): 649-686 (2020) - [c9]Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari:
Belief Based on Inconsistent Information. DaLí 2020: 68-86 - [i3]Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari:
How to reason with inconsistent probabilistic information? CoRR abs/2003.12906 (2020)
2010 – 2019
- 2019
- [i2]Marta Bílková, Matej Dostál:
Moss' logic for ordered coalgebras. CoRR abs/1901.06547 (2019) - 2018
- [j7]Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis:
The Logic of Resources and Capabilities. Rev. Symb. Log. 11(2): 371-410 (2018) - [c8]Marta Bílková, Petr Cintula, Tomás Lávicka:
Lindenbaum and Pair Extension Lemma in Infinitary Logics. WoLLIC 2018: 130-144 - 2016
- [j6]Marta Bílková, Ondrej Majer, Michal Pelis:
Epistemic logics for sceptical agents. J. Log. Comput. 26(6): 1815-1841 (2016) - [c7]Marta Bílková, Matej Dostál:
Expressivity of Many-Valued Modal Logics, Coalgebraically. WoLLIC 2016: 109-124 - 2014
- [j5]Marta Bílková, Alessandra Palmigiano, Yde Venema:
Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. 549: 36-60 (2014) - 2013
- [j4]Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. 9(4) (2013) - [c6]Marta Bílková, Matej Dostál:
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. CALCO 2013: 66-79 - 2012
- [c5]Marta Bílková, Rostislav Horcík, Jirí Velebil:
Distributive Substructural Logics as Coalgebraic Logics over Posets. Advances in Modal Logic 2012: 119-142 - [i1]Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Relation Liftings on Preorders and Posets. CoRR abs/1210.1433 (2012) - 2011
- [j3]Marta Bílková, Jirí Velebil, Yde Venema:
On monotone modalities and adjointness. Math. Struct. Comput. Sci. 21(2): 383-416 (2011) - [c4]Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Relation Liftings on Preorders and Posets. CALCO 2011: 115-129 - 2010
- [c3]Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall:
Relevant Agents. Advances in Modal Logic 2010: 22-38
2000 – 2009
- 2009
- [j2]Marta Bílková, Dick de Jongh, Joost J. Joosten:
Interpretability in PRA. Ann. Pure Appl. Log. 161(2): 128-138 (2009) - [c2]Marta Bílková:
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. TbiLLC 2009: 30-45 - 2008
- [c1]Marta Bílková, Alessandra Palmigiano, Yde Venema:
Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21 - 2007
- [j1]Marta Bílková:
Uniform Interpolation and Propositional Quantifiers in Modal Logics. Stud Logica 85(1): 1-31 (2007)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 21:17 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:
