"Birkhoff Completeness for Hybrid-Dynamic First-Order Logic."

Daniel Gâinâ, Ionut Tutu (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics