Author: "Bílková, Marta" / Publisher: elsevier bv - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Bílková, Marta"' showing total 4 results

Start Over Author "Bílková, Marta" Publisher elsevier bv

4 results on '"Bílková, Marta"'

1. Reasoning with belief functions over Belnap–Dunn logic

Author: Bílková, Marta, primary, Frittella, Sabine, additional, Kozhemiachenko, Daniil, additional, Majer, Ondrej, additional, and Nazari, Sajad, additional
Published: 2023
Full Text: View/download PDF

2. Qualitative reasoning in a two-layered framework

Author: Bílková, Marta, primary, Frittella, Sabine, additional, Kozhemiachenko, Daniil, additional, and Majer, Ondrej, additional
Published: 2023
Full Text: View/download PDF

3. Proof systems for Moss' coalgebraic logic

Author: Bílková, Marta, primary, Palmigiano, Alessandra, additional, and Venema, Yde, additional
Published: 2014
Full Text: View/download PDF

4. Interpretability in PRA

Author: Bílková, Marta, primary, de Jongh, Dick, additional, and Joosten, Joost J., additional
Published: 2009
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results