(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications

Authors

Rolf Hennicker, Universität Augsburg
Alexander Kurz, Chapman UniversityFollow

Document Type

Article

Publication Date

1999

Abstract

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Comments

This article was originally published in Electronic Notes in Theoretical Computer Science, volume 19, in 1999. DOI: 10.1016/S1571-0661(05)80275-0

Recommended Citation

R. Hennicker and A. Kurz, “(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications,” Electronic Notes in Theoretical Computer Science, vol. 19, pp. 164–180, 1999. DOI: 10.1016/S1571-0661(05)80275-0

Copyright

Elsevier

Creative Commons License

This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License.