A logical framework for solid object physics | lit.salon