Search

Your search keyword '"Bílkova, P."' showing total 40 results

Search Constraints

Start Over You searched for: Author "Bílkova, P." Remove constraint Author: "Bílkova, P."
40 results on '"Bílkova, P."'

Search Results

1. Bisimulation for Impure Simplicial Complexes

2. Quantification of locked mode instability triggered by a change in confinement

3. Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

4. Simple tableaux for two expansions of G\'odel modal logic

5. Fuzzy bi-G\'{o}del modal logic and its paraconsistent relatives

6. Epistemic Logics of Structured Intensional Groups

7. Non-standard modalities in paraconsistent G\'{o}del logic

8. Paraconsistent G\'{o}del modal logic on bi-relational frames

9. Two-layered logics for paraconsistent probabilities

10. Uniform Interpolation in provability logics

11. Crisp bi-G\'{o}del modal logic and its paraconsistent expansion

12. Qualitative reasoning in a two-layered framework

13. Paraconsistent G\'{o}del modal logic

14. Reasoning with belief functions over Belnap--Dunn logic

15. Revisiting Epistemic Logic with Names

16. Constraint tableaux for two-dimensional fuzzy logics

17. Interpretability in PRA

18. How to reason with inconsistent probabilistic information?

19. Assuring and critical labels for relations between maximal consistent sets for interpretability logics

20. Proof Theory for Positive Logic with Weak Negation

21. Moss' logic for ordered coalgebras

22. The Logic of Resources and Capabilities

23. Preliminary design of the COMPASS upgrade tokamak

25. Relation lifting, with an application to the many-valued cover modality

27. Constraints on conceptual design of diagnostics for the high magnetic field COMPASS-U tokamak with hot walls

28. Relation Liftings on Preorders and Posets

29. Conceptual design of the COMPASS upgrade tokamak

31. Impact of the ITER-like wall on divertor detachment and on the density limit in the JET tokamak

32. Enhanced performance in fusion plasmas through turbulence suppression by megaelectronvolt ions

34. Overview of the COMPASS diagnostics

Catalog

Books, media, physical & digital resources