2 citations · 3 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
Cinzia Di Giusto, Giorgio Bacci
This volume contains the proceedings of EXPRESS/SOS 2025: the Combined 32nd International Workshop on Expressiveness in Concurrency and the 22nd Workshop on Structural Operational…
cs.LO2025
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
Giorgio Bacci, Rasmus Ejlers Møgelberg
Quantitative logic reasons about the degree to which formulas are satisfied. This paper studies the fundamental reasoning principles of higher-order quantitative logic and their ap…