Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/10881
Title: | Separability and decidability results for varieties of Jónsson dynamic algebras | Authors: | Crvenković S. Dolinka, Igor |
Issue Date: | 1-Jan-2000 | Journal: | Algebra Universalis | Abstract: | Dynamic algebras are algebraic counterparts of dynamic logics: prepositional logical systems endowed with a set of modal operators. In [18], B. Jónsson introduced dynamic algebras as Boolean algebras with unary operators, the indices of which range over a given Kleene algebra. On the other hand, V. R. Pratt and D. Kozen proposed a two-sorted approach to dynamic algebras, which was followed in the early papers on the topic, such as Fischer and Ladner and Németi. For a recent overview of the field cf. [4]. In the present paper we investigate connections (as well as diversities) between these two approaches. Our main aim is to transfer (where possible) two-sorted results on separability and decidability to the one-sorted case and to extend them to broad classes of varieties of Jónsson dynamic algebras. In particular, as a consequence of such considerations, we obtain a decidability result on Kleene algebras. | URI: | https://open.uns.ac.rs/handle/123456789/10881 | ISSN: | 00025240 |
Appears in Collections: | PMF Publikacije/Publications |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.