Non-regular fixed-point logics and games

MaRDI QIDQ3086929zbMATH OpenFDO

Authors Stephan Kreutzer, Martin Lange

Publication date 30 March 2011

zbMATH Keywords

extensions of the modal \(\mu\)-calculusfixed-point logic with chop (FLC)modal fixed-point logicsmodal iteration calculus (MIC)

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving topology, set theory, or logic (91A44)

Recommendations

• scientific article; zbMATH DE number 1927566
• Verification of non-regular program properties
• scientific article; zbMATH DE number 2087435
• Computer Aided Verification
• Model checking games for the quantitative \(\mu \)-calculus

Cited in

(7)

• Finite games for a predicate logic without contractions
• Pebble games and subroutines in least fixed point logic
• Verification of non-regular program properties
• scientific article; zbMATH DE number 1927566 (Why is no real title available?)
• scientific article; zbMATH DE number 1424046 (Why is no real title available?)
• Formula size games for modal logic and \(\mu\)-calculus
• Game-theoretic semantics for non-distributive logics

This page was built for publication: Non-regular fixed-point logics and games

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