A logical framework for solid object physics