Butanol has received significant research attention as the second-generation biofuel in the past few years. In the present study, skeletal mechanisms for four butanol isomers were generated from two widely accepted, well-validated detailed chemical kinetic models for the butanol isomers. The detailed models were reduced using a two-stage approach consisting of the directed relation graph with error propagation and sensitivity analysis. During the reduction process, issues encountered with pressure-dependent reactions formulated using the logarithmic pressure interpolation approach were discussed, with recommendations made to avoid ambiguity in its future implementation in mechanism development. The performances of the skeletal mechanisms generated here were compared with those of detailed mechanisms in simulations of autoignition delay times, laminar flame speeds, and perfectly stirred reactor temperature response curves and extinction residence times, over a wide range of pressures, temperatures, 1 arXiv:1706.02043v1 [physics.chem-ph] 7 Jun 2017 and equivalence ratios. Good agreement was observed between the detailed and skeletal mechanisms, demonstrating the adequacy of the resulting reduced chemistry for all the butanol isomers in predicting global combustion phenomena. The skeletal mechanisms also closely predicted the time-histories of fuel mass fractions in homogeneous compression-ignition engine simulations. Finally, the performances of the butanol isomers were compared with that of a gasoline surrogate with an anti-knock index of 87 in a homogeneous compression-ignition engine simulation. The gasoline surrogate consumed faster than any of the butanol isomers, and tert-butanol had the slowest fuel consumption rate; n-butanol and isobutanol came closest to matching the gasoline, but the two literature chemical kinetic models predicted different orderings.