1. N. Alechina , M. Mendler , V. de Paiva , and E. Ritter . 2001. Categorical and Kripke Semantics for Constructive S4 Modal Logic . In Proc. of CSL 2021 . Springer, Berlin, Heidelberg, 292–307. N. Alechina, M. Mendler, V. de Paiva, and E. Ritter. 2001. Categorical and Kripke Semantics for Constructive S4 Modal Logic. In Proc. of CSL 2021. Springer, Berlin, Heidelberg, 292–307.
2. M. Antonelli , U. Dal Lago , and P. Pistone . 2021. On Counting Propositional Logic and Wagner’s Hierarchy . In Proc. of ICTCS 2021 , Vol. 3072. CEUR Workshop Proceedings, Aachen, 107–121. M. Antonelli, U. Dal Lago, and P. Pistone. 2021. On Counting Propositional Logic and Wagner’s Hierarchy. In Proc. of ICTCS 2021, Vol. 3072. CEUR Workshop Proceedings, Aachen, 107–121.
3. M. Antonelli , U. Dal Lago , and P. Pistone . 2021. On Measure Quantifiers in First-Order Arithmetic . In Proc. of CiE 2021 . Springer, Switzerland, 12–24. M. Antonelli, U. Dal Lago, and P. Pistone. 2021. On Measure Quantifiers in First-Order Arithmetic. In Proc. of CiE 2021. Springer, Switzerland, 12–24.
4. M. Antonelli , U. Dal Lago , and P. Pistone . 2022 . Curry and Howard Meet Borel (Long Version). (March 2022 ). https://arxiv.org/abs/2203.11265. M. Antonelli, U. Dal Lago, and P. Pistone. 2022. Curry and Howard Meet Borel (Long Version). (March 2022). https://arxiv.org/abs/2203.11265.
5. Lp, a logic for representing and reasoning with statistical knowledge