The following pages link to Marta Bílková (Q402118):
Displaying 36 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Lindenbaum and pair extension lemma in infinitary logics (Q1799275) (← links)
- Belief based on inconsistent information (Q2055753) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Many-Valued Relation Lifting and Moss’ Coalgebraic Logic (Q2848940) (← links)
- Relation lifting, with an application to the many-valued cover modality (Q2856480) (← links)
- Relevant agents (Q2904045) (← links)
- Epistemic logics for sceptical agents (Q2957969) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968) (← links)
- (Q3086937) (← links)
- Relation Liftings on Preorders and Posets (Q3090865) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4828877) (← links)
- (Q5101351) (← links)
- Uniform interpolation in provability logics (Q5224686) (← links)
- (Q5419875) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q6367714) (← links)
- Reasoning with belief functions over Belnap--Dunn logic (Q6392589) (← links)
- Paraconsistent G\"{o}del modal logic (Q6392621) (← links)
- Crisp bi-G\"{o}del modal logic and its paraconsistent expansion (Q6416061) (← links)
- Uniform Interpolation in provability logics (Q6416196) (← links)
- Paraconsistent G\"{o}del modal logic on bi-relational frames (Q6430768) (← links)
- "Fuzzy bi-G\""{o}del modal logic and its paraconsistent relatives" (Q6513302) (← links)
- "Simple tableaux for two expansions of G\""odel modal logic" (Q6519167) (← links)
- Two-layered logics for probabilities and belief functions over Belnap--Dunn logic (Q6522625) (← links)
- Reasoning with belief functions over Belnap-Dunn logic (Q6560993) (← links)
- Revisiting epistemic logic with names (Q6642565) (← links)
