7 citations · 14 across the 7 of their papers we have counts for
4 papers · 1 filter
Interleaving Logic and Counting
Johan van Benthem, Thomas Icard
Reasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is…
On Probabilistic and Causal Reasoning with Summation Operators
Duligur Ibeling, Thomas F. Icard, Milan Mossé
Ibeling et al. (2023). axiomatize increasingly expressive languages of causation and probability, and Mosse et al. (2024) show that reasoning (specifically the satisfiability probl…
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning
Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski +1
This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely `qualitative' comparative language to a highly `quantitative' language invol…
Provability and interpretability logics with restricted realizations
Thomas F. Icard, Joost J. Joosten
The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We slightly modify this notion by requiring the arith…