Monadic dynamic algebras

✍ Scribed by S. Marques Pinto; M. Teresa Oliveira-Martins; M. Céu Pinto

• Book ID: 102484119
• Publisher: John Wiley and Sons
• Year: 2006
• Tongue: English
• Weight: 210 KB
• Volume: 52
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200510022

✦ Synopsis

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.