Artifact for "Heterogeneous Dynamic Logic: Provability Modulo Program Theories"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Samuel Teuber
DOI: 10.5281/zenodo.19551156
Cited by: 1

Abstract

This artifact contains the Isabelle formalization of the paper Heterogeneous Dynamic Logic: Provability Modulo Program Theories. We formalize dynamic theories and prove that three dynamic logics are instantiations of this concept.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
13 April 2026