Kinetic modeling of carboxylation of propylene oxide with CO2 to propylene carbonate has been investigated in a semi-batch slurry reactor. Propylene oxide can be selectively transformed into propylene carbonate (selectivity: 994+%) in the presence of ion exchange resin catalysts with basic functional groups. The effect of reaction temperature (65-95 degrees C), CO2 pressure (0.5-3.0 MPa), propylene oxide concentration in propylene carbonate (as a solvent) on the carboxylation rates was studied. Experimental results show that CO2 displays inhibition effect on carboxylation reaction at high pressure conditions. For kinetic modeling, three types of rate models were investigated, including two involving Langmuir-Hinshelwood and one modified Eley-Rideal mechanisms. Details of model discrimination and evaluation of kinetic parameters are discussed. Based on the parameter estimation and rigorous model discrimination, it is found that the proposed modified Eley-Rideal rate model describing surface reaction between free PO and adsorbed CO2 on catalyst surface fits the experimental data very well. (C) 2017 Published by Elsevier Ltd.