Document Type
Article
Publication Date
2001
Abstract
In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.
Recommended Citation
A. Kurz, “Modal Rules are Co-Implications,” Electronic Notes in Theoretical Computer Science, vol. 44, no. 1, pp. 241–253, May 2001. DOI: 10.1016/S1571-0661(04)80911-3
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 44, number 1, in 2001. DOI: 10.1016/S1571-0661(04)80911-3