Marta Bílková

Available identifiers

zbMath Open bilkova.martaMaRDI QIDQ402118

List of research outcomes

Publication	Date of Publication	Type
Revisiting epistemic logic with names	2024-11-24	Paper
Reasoning with belief functions over Belnap-Dunn logic	2024-06-24	Paper
Two-layered logics for paraconsistent probabilities	2024-02-28	Paper
Epistemic Logics of Structured Intensional Groups	2024-02-28	Paper
Theory and application of labelling techniques for interpretability logics	2023-09-12	Paper
Qualitative reasoning in a two-layered framework	2023-06-20	Paper
Paraconsistent G\"{o}del modal logic on bi-relational frames	2023-03-24	Paper
Non-standard modalities in paraconsistent G\"{o}del logic	2023-03-24	Paper
Paraconsistent Gödel modal logic	2022-12-07	Paper
Uniform Interpolation in provability logics	2022-11-04	Paper
Crisp bi-G\"{o}del modal logic and its paraconsistent expansion	2022-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q5101351	2022-08-30	Paper
Constraint tableaux for two-dimensional fuzzy logics	2022-05-25	Paper
Reasoning with belief functions over Belnap--Dunn logic	2022-03-02	Paper
Paraconsistent G\"{o}del modal logic	2022-03-02	Paper
Belief based on inconsistent information	2021-12-01	Paper
Constraint tableaux for two-dimensional fuzzy logics	2021-05-15	Paper
Proof theory for positive logic with weak negation	2020-08-25	Paper
Assuring and critical labels for relations between maximal consistent sets for interpretability logics	2020-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5224686	2019-07-24	Paper
Lindenbaum and pair extension lemma in infinitary logics	2018-10-18	Paper
THE LOGIC OF RESOURCES AND CAPABILITIES	2018-08-07	Paper
Epistemic logics for sceptical agents	2017-01-31	Paper
Expressivity of Many-Valued Modal Logics, Coalgebraically	2016-09-09	Paper
Proof systems for Moss' coalgebraic logic	2014-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q5419875	2014-06-11	Paper
Relation lifting, with an application to the many-valued cover modality	2013-10-29	Paper
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic	2013-09-13	Paper
Relevant agents	2012-08-05	Paper
Relation Liftings on Preorders and Posets	2011-09-02	Paper
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi	2011-07-29	Paper
On monotone modalities and adjointness	2011-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q3086937	2011-03-30	Paper
Interpretability in PRA	2009-11-04	Paper
Uniform interpolation and propositional quantifiers in modal logics	2007-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4828877	2004-11-26	Paper
"Fuzzy bi-G\""{o}del modal logic and its paraconsistent relatives"	N/A	Paper
"Simple tableaux for two expansions of G\""odel modal logic"	N/A	Paper
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic	N/A	Paper

Research outcomes over time

This page was built for person: Marta Bílková