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.
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.
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
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