Fixed points of temporal operators

zbMATH Open0965.03022MaRDI QIDQ2713993

S. I. Mardaev

Publication date: 10 June 2001

zbMATH Keywords

least fixed pointtemporal operator

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

The time operator of the cusp map

This page was built for publication: Fixed points of temporal operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2713993)