Francesca Zaffora Blando

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Explanation Based Generalization

Prime Implicates

Situation Calculus

Forward Selection

Top Venues

Rev. Symb. Log.

Ann. Pure Appl. Log.

Publications

Dominik Klein, Soroush Rafiee Rad, Francesca Zaffora Blando
Editorial. Ann. Pure Appl. Log. 175 (9) (2024)
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
The Modal Logic of Stepwise removal. Rev. Symb. Log. 15 (1) (2022)
Francesca Zaffora Blando
A Learning-Theoretic characterisation of Martin-löF Randomness and Schnorr Randomness. Rev. Symb. Log. 14 (2) (2021)
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
The Modal Logic of Stepwise Removal. CoRR (2021)