Kleene modules

  • We propose axioms for Kleene modules (KM). These structures have a Kleene algebra and a Boolean algebra as sorts. The scalar products are mappings from the Kleene algebra and the Boolean algebra into the Boolean algebra that arise as algebraic abstractions of relational image and preimage operations. KM are the basis of algebraic variants of dynamic logics. We develop a calculus for KM and discuss their relation to Kleene algebra with domain and to dynamic and test algebras. As an example, we apply KM to the reachability analysis in digraphs.

Download full text files

Export metadata


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Thomas Ehm, Bernhard MöllerGND, Georg StruthGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/59207
Parent Title (English):Lecture Notes in Computer Science
Place of publication:Berlin
Year of first Publication:2004
Publishing Institution:Universität Augsburg
Release Date:2019/09/04
First Page:112
Last Page:123
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht