Modal Rules are Co-Implications

Authors

Alexander Kurz, Chapman UniversityFollow

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.

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

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.