KIT | KIT-Bibliothek | Impressum | Datenschutz

Extending dynamic logic for reasoning about evolving algebras

Schoenegge, Arno

Abstract:

The aim of this paper is to provide a logic for reasoning about
evolving algebras. This is done by extending a variant of dynamic
logic with additional program constructs: update of functions,
extension of universes, and simultaneous execution. A calculus for
this extended dynamic logic can be obtained from a sequent calculus
for (not extended) dynamic logic only by adding further rules, but
without modifications of original rules. This gives us reason to hope
that the KIV system (Karlsruhe Interactive Verifier) can be turned
into a tool for reasoning about evolving algebras only by extending
it, i.e. without (substantially) modifying existing code.


Volltext §
DOI: 10.5445/IR/61095
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA610951
KITopen-ID: 61095
Erscheinungsvermerk Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,49.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page