Monadic dynamic algebras |
| |
| Authors: | S Marques Pinto M Teresa Oliveira‐Martins M Cu Pinto |
| |
| Institution: | S. Marques Pinto,M. Teresa Oliveira‐Martins,M. Céu Pinto |
| |
| Abstract: | The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non‐standard) Kripke structure. We also classify the simple (monadic) dynamic algebras. Moreover, in the dynamic duality theory, we analyze the conditions under which a hemimorphism of a dynamic algebra into itself defines a quantifier. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
| Keywords: | Dynamic algebra monadic algebra monadic dynamic algebra dynamic hemimorphism dynamic relation dual of a quantifier |
|
|
