2.3k citations · 2.4k across the 19 of their papers we have counts for
6 papers · 1 filter
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…
Is Causal Reasoning Harder than Probabilistic Reasoning?
Milan Mossé, Duligur Ibeling, Thomas Icard
Many tasks in statistical and causal inference can be construed as problems of \emph{entailment} in a suitable formal language. We ask whether those problems are more difficult, fr…
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,…
Probabilistic Reasoning across the Causal Hierarchy
Duligur Ibeling, Thomas Icard
We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of…
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…
Indicative Conditionals and Dynamic Epistemic Logic
Wesley H. Holliday, Thomas F. Icard
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of t…