Thomas F. Icard III

15 papers A* 1B 4Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
On Probabilistic and Causal Reasoning with Summation Operators.
CoRR
Duligur Ibeling, Thomas F. Icard III, Milan Mossé
2023 J jnl
A Simple Logic of Concepts.
J. Philos. Log.
Thomas F. Icard III, Lawrence S. Moss
2022 J jnl
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting.
CoRR
Lawrence S. Moss, Thomas F. Icard III
2021 J jnl
Logics of imprecise comparative probability.
Int. J. Approx. Reason.
Yifeng Ding, Wesley H. Holliday, Thomas F. Icard III
2021 J jnl
Preferential Structures for Comparative Probabilistic Reasoning.
CoRR
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
2018 J jnl
Inferring probability comparisons.
Math. Soc. Sci.
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
2017 B conf
Indicative Conditionals and Dynamic Epistemic Logic.
TARK
Wesley H. Holliday, Thomas F. Icard III
2017 A* conf
Preferential Structures for Comparative Probabilistic Reasoning.
AAAI
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
2014 B conf
Higher-Order Syllogistics.
FG
Thomas F. Icard III
2013 J jnl
Information dynamics and uniform substitution.
Synth.
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
2012 B conf
A Uniform Logic of Information Dynamics.
Advances in Modal Logic
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
2012 J jnl
Inclusion and Exclusion in Natural Language.
Stud Logica
Thomas F. Icard III
2012 J jnl
Provability and Interpretability Logics with Restricted Realizations.
Notre Dame J. Formal Log.
Thomas F. Icard III, Joost J. Joosten
2011 — conf
Schematic Validity in Dynamic Epistemic Logic: Decidability.
LORI
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
2010 B conf
Moorean Phenomena in Epistemic Logic.
Advances in Modal Logic
Wesley H. Holliday, Thomas F. Icard III