On Modal Logics of Linear Inequalities (0)

by C Kupke, D Pattinson
Venue:In Proc of AiML 2010