%0 Journal Article %A Allwein, Gerard %A Harrison, William L. %A Andrews, David %D 2014 %J Logic and Logical Philosophy %N 3 %T Simulation logic %V 23