The following pages link to Marta Bílková (Q402118):
Displayed 34 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)
- (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)
- (Q5224686) (← links)
- (Q5419875) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- Two-layered logics for paraconsistent probabilities (Q6118682) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
- Assuring and critical labels for relations between maximal consistent sets for interpretability logics (Q6336450) (← 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)
- Non-standard modalities in paraconsistent G\"{o}del logic (Q6430770) (← links)