Marta Bílková

Available identifiers

zbMath Open bilkova.martaMaRDI QIDQ402118

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2904045	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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