3 papers
cs.LO2026
Subreflexive Logic: Completeness without Identity
Noah Abou El Wafa, André Platzer
This paper shows that the substructural logic without the identity principle A->A (i.e., subreflexive logic) has principled sound and complete semantics and supports a variety of a…
cs.LO2026
Complete Robust Hybrid Systems Reachability
Noah Abou El Wafa, André Platzer
This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntact…
cs.LO2025
Differential Equations as Fixpoints and Games
Noah Abou El Wafa, André Platzer
Games and fixpoints are unified by proving that first-order game logic GL and the first-order modal mu-calculus L_mu are proved to be equiexpressive and equivalent, thereby fully a…