7 citations · 12 across the 5 of their papers we have counts for
7 papers
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting
Lawrence S. Moss, Thomas F. Icard
This paper obtains a completeness result for inequational reasoning with applicative terms without variables in a setting where the intended semantic models are the full structures…
Causal Abstractions of Neural Networks
Atticus Geiger, Hanson Lu, Thomas Icard +1
Structural analysis methods (e.g., probing and feature attribution) are increasingly important tools for neural network analysis. We propose a new structural analysis method ground…
Preferential Structures for Comparative Probabilistic Reasoning
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing u…
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…
Intention as Commitment toward Time
Marc van Zee, Dragan Doder, Leendert van der Torre +3
In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief,…
On the Conditional Logic of Simulation Models
Duligur Ibeling, Thomas Icard
We propose analyzing conditional reasoning by appeal to a notion of intervention on a simulation program, formalizing and subsuming a number of approaches to conditional thinking i…