3 papers
gr-qc2026
White dwarfs in minimal dilatonic gravity
Denitsa Staicova
We study static, spherically symmetric white dwarfs in minimal dilatonic gravity (MDG) -- a Brans-Dicke theory with fixed coupling and free Compton length . Solving…
cs.LO2025
Partial Incorrectness Logic
Lena Verscht, Änrán Wáng, Benjamin Lucien Kaminski
Reasoning about program correctness has been a central topic in static analysis for many years, with Hoare logic (HL) playing an important role. The key notions in HL are partial a…
cs.PL2024
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
Lena Verscht, Benjamin Lucien Kaminski
We study Hoare-like logics, including partial and total correctness Hoare logic, incorrectness logic, Lisbon logic, and many others through the lens of predicate transformers à la…