Graduate Student Giorgio Sbardolini is co-author of "Proof Analysis of Lewis Counterfactuals",  just published in the Journal of Symbolic Logic, a top journal for philosophical logic.