scientific article; zbMATH DE number 1956572

MaRDI QIDQ4417913zbMATH OpenFDO

Authors Orna Kupferman, Rupak Majumdar, Thomas A. Henzinger

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190049.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the universal and existential fragments of the \(\mu\)-calculus
• On model checking for the -calculus and its fragments
• STACS 2004
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• From linear time to branching time

Cited in

(9)

• The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals
• On the universal and existential fragments of the \(\mu\)-calculus
• Characteristic -calculus formulas for underspecified transition systems
• FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
• Effective cut-elimination for a fragment of modal mu-calculus
• Implementing fragments of ZFC within an r.e. Universe
• FM 2005: Formal Methods
• Polynomial approximations for model checking
• On model checking for the -calculus and its fragments

This page was built for publication:

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