On the equational definition of the least prefixed point.
type: Item
instance of: scholarly article
title: On the equational definition of the least prefixed point.
zbMATH Open document ID: 1045.68088
DOI: 10.1016/S0304-3975(02)00412-7
author: Luigi Santocanale
published in: Theoretical Computer Science
publication date: 2003-08-17T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1965282
zbMATH Keywords: Semantics and logics of programs
zbMATH Keywords: Least fixed point
zbMATH Keywords: Fixed point calculi
zbMATH Keywords: Temporal logic
MaRDI profile type: Publication
cites work: Duality and the completeness of the modal \(\mu\)-calculus
cites work: Theμ-calculus alternation-depth hierarchy is strict on binary trees
cites work: Rudiments of \(\mu\)-calculus
cites work: Q5620723
cites work: Monadic Logic of Order over Naturals has no Finite Base
cites work: Varieties of ordered algebras
cites work: Matrix and matricial iteration theories. I
cites work: Equational axioms for regular sets
cites work: Q4896924
cites work: Une remarque sur les systèmes complets d'identités rationnelles
cites work: Une condition impliquant toutes les identités rationnelles
cites work: The modal mu-calculus alternation hierarchy is strict
cites work: Q3961629
cites work: Q5639639
cites work: Completeness of Park induction
cites work: Group axioms for iteration
cites work: Equational properties of iteration in algebraically complete categories
cites work: Q3978971
cites work: Q3995720
cites work: Q3835817
cites work: Q4200260
cites work: Duality for modal \(\mu\)-logics
cites work: Q4525781
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q3358736
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Complete systems of \(\mathcal B\)-rational identities
cites work: A fixpoint theorem for complete categories
cites work: An equational variant of Lawvere's natural numbers object
cites work: Q4040149
cites work: Q4818826
cites work: Q4215784
cites work: Q4261094
cites work: Iterative algebras
cites work: Q4723706
cites work: Q3730012
cites work: Q5624635
cites work: Q4287490
cites work: Dynamic algebras: Examples, constructions, applications
cites work: Q5596826
cites work: Q3996704
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
cites work: Free \(\mu\)-lattices
cites work: The alternation hierarchy for the theory of \(\mu\)-lattices
cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
cites work: Free lattices. II
full work available at URL: s0304-3975(02)00412-7
OpenAlex ID: W1993035157
description: scientific article; zbMATH DE number 1965282