Cikkek nyilvánosan hozzáférhető megbízással - Marta BilkovaTovábbi információ
Sehol sem hozzáférhető: 1
Theory and application of labelling techniques for interpretability logics
E Goris, M Bílková, JJ Joosten, L Mikec
Mathematical logic quarterly 68 (3), 352-374, 2022
Megbízások: Government of Spain
Valahol hozzáférhető: 14
The logic of resources and capabilities
M Bílková, G Greco, A Palmigiano, A Tzimoulis, N Wijnberg
The Review of Symbolic Logic 11 (2), 371-410, 2018
Megbízások: German Research Foundation, Netherlands Organisation for Scientific Research
Constraint tableaux for two-dimensional fuzzy logics
M Bílková, S Frittella, D Kozhemiachenko
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
Megbízások: Agence Nationale de la Recherche
Belief based on inconsistent information
M Bílková, S Frittella, O Majer, S Nazari
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
Megbízások: Agence Nationale de la Recherche
Expressivity of many-valued modal logics, coalgebraically
M Bílková, M Dostál
International Workshop on Logic, Language, Information, and Computation, 109-124, 2016
Megbízások: Austrian Science Fund
Qualitative reasoning in a two-layered framework
M Bílková, S Frittella, D Kozhemiachenko, O Majer
International Journal of Approximate Reasoning 154, 84-108, 2023
Megbízások: Agence Nationale de la Recherche
Reasoning with belief functions over Belnap–Dunn logic
M Bílková, S Frittella, D Kozhemiachenko, O Majer, S Nazari
Annals of Pure and Applied Logic 175 (9), 103338, 2024
Megbízások: Agence Nationale de la Recherche
Paraconsistent Gödel modal logic
M Bílková, S Frittella, D Kozhemiachenko
International Joint Conference on Automated Reasoning, 429-448, 2022
Megbízások: Agence Nationale de la Recherche
Crisp bi-Gödel modal logic and its paraconsistent expansion
M Bílková, S Frittella, D Kozhemiachenko
Logic Journal of the IGPL, jzad017, 2023
Megbízások: Agence Nationale de la Recherche
Lindenbaum and pair extension lemma in infinitary logics
M Bílková, P Cintula, T Lávička
Logic, Language, Information, and Computation: 25th International Workshop …, 2018
Megbízások: German Research Foundation
Proof theory for positive logic with weak negation
M Bílková, A Colacito
Studia Logica 108 (4), 649-686, 2020
Megbízások: Swiss National Science Foundation, European Commission
Non-standard modalities in paraconsistent G\"{o} del logic
M Bilkova, S Frittella, D Kozhemiachenko
arXiv preprint arXiv:2303.14198, 2023
Megbízások: Agence Nationale de la Recherche
Two-layered logics for paraconsistent probabilities
M Bílková, S Frittella, D Kozhemiachenko, O Majer
International Workshop on Logic, Language, Information, and Computation, 101-117, 2023
Megbízások: Agence Nationale de la Recherche
Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory
M Bı́lková, S Frittella, D Kozhemiachenko, O Majer, K Manoorkar
International Symposium on Imprecise Probability: Theories and Applications …, 2023
Megbízások: Netherlands Organisation for Scientific Research, European Commission …
Moss' logic for ordered coalgebras
M Bílková, M Dostál
Logical Methods in Computer Science 18, 2022
Megbízások: German Research Foundation
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.