On the equational definition of the least prefixed point - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

On the equational definition of the least prefixed point

Résumé

We show how to axiomatize by equations the least prefixed point of an order preserving function and discuss the domain of application of the proposed method. Thus, we generalize the well known equational axiomatization of Propositional Dynamic Logic to a complete equational axiomatization of the Boolean Modal μ-Calculus. We show on the other hand that the existence of a term which does not preserve the order is an essential condition for the least prefixed point to be definable by equations.
MFCS01.ps (184.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01261158 , version 1 (24-01-2016)

Identifiants

Citer

Luigi Santocanale. On the equational definition of the least prefixed point. Mathematical Foundations of Computer Science 2001, Aug 2001, Marianske Lazne, Czech Republic. ⟨10.1007/3-540-44683-4_56⟩. ⟨hal-01261158⟩
18 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More