Marta Bílková

From MaRDI portal
Person:402118

Available identifiers

zbMath Open bilkova.martaMaRDI QIDQ402118

List of research outcomes





PublicationDate of PublicationType
Revisiting epistemic logic with names2024-11-24Paper
Reasoning with belief functions over Belnap-Dunn logic2024-06-24Paper
Two-layered logics for paraconsistent probabilities2024-02-28Paper
Epistemic Logics of Structured Intensional Groups2024-02-28Paper
Theory and application of labelling techniques for interpretability logics2023-09-12Paper
Qualitative reasoning in a two-layered framework2023-06-20Paper
Paraconsistent G\"{o}del modal logic on bi-relational frames2023-03-24Paper
Non-standard modalities in paraconsistent G\"{o}del logic2023-03-24Paper
Paraconsistent Gödel modal logic2022-12-07Paper
Uniform Interpolation in provability logics2022-11-04Paper
Crisp bi-G\"{o}del modal logic and its paraconsistent expansion2022-11-03Paper
https://portal.mardi4nfdi.de/entity/Q51013512022-08-30Paper
Constraint tableaux for two-dimensional fuzzy logics2022-05-25Paper
Reasoning with belief functions over Belnap--Dunn logic2022-03-02Paper
Paraconsistent G\"{o}del modal logic2022-03-02Paper
Belief based on inconsistent information2021-12-01Paper
Constraint tableaux for two-dimensional fuzzy logics2021-05-15Paper
Proof theory for positive logic with weak negation2020-08-25Paper
Assuring and critical labels for relations between maximal consistent sets for interpretability logics2020-03-10Paper
https://portal.mardi4nfdi.de/entity/Q52246862019-07-24Paper
Lindenbaum and pair extension lemma in infinitary logics2018-10-18Paper
THE LOGIC OF RESOURCES AND CAPABILITIES2018-08-07Paper
Epistemic logics for sceptical agents2017-01-31Paper
Expressivity of Many-Valued Modal Logics, Coalgebraically2016-09-09Paper
Proof systems for Moss' coalgebraic logic2014-08-27Paper
https://portal.mardi4nfdi.de/entity/Q54198752014-06-11Paper
Relation lifting, with an application to the many-valued cover modality2013-10-29Paper
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic2013-09-13Paper
Relevant agents2012-08-05Paper
Relation Liftings on Preorders and Posets2011-09-02Paper
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi2011-07-29Paper
On monotone modalities and adjointness2011-06-10Paper
https://portal.mardi4nfdi.de/entity/Q30869372011-03-30Paper
Interpretability in PRA2009-11-04Paper
Uniform interpolation and propositional quantifiers in modal logics2007-04-26Paper
https://portal.mardi4nfdi.de/entity/Q48288772004-11-26Paper
"Fuzzy bi-G\""{o}del modal logic and its paraconsistent relatives"N/APaper
"Simple tableaux for two expansions of G\""odel modal logic"N/APaper
Two-layered logics for probabilities and belief functions over Belnap--Dunn logicN/APaper

Research outcomes over time

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