{"id":"arxiv/2610.28460","url":"https://arxiv.org/abs/2610.28460","tags":["cs.LO","math.LO"],"score":0,"title":"Linear Axiomatization of Linear Differential Equations","domain":"cs.LO","source":"arxiv","authors":["Long Qian","André Platzer"],"reviews":0,"subject":"cs.LO","summary":"This article presents an axiomatization of linear differential equations that is complete for topologically open properties with compact initial conditions and time horizons by proving them deductively via a sound reduction to formulas of linear real arithmetic. Indeed, linearity is preserved: linear differential invariants are complete for open properties of linear differential equations and reduce with a linear number of Lie derivatives (per atom) to linear real arithmetic. In particular, this article shows that the linear fragment of differential dynamic logic (dL), a modal extension of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}