2.3k citations · 2.4k across the 19 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.LO2020
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…
cs.LO2020★ 5 cited
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,…
cs.LO2020★ 4 cited
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…