A counting logic for structure transition systems

DOI10.4230/LIPICS.CSL.2012.366MaRDI QIDQ4649559zbMATH OpenOpenAlexFDO

Authors Łukasz Kaiser, Simon Leßenich

Publication date 22 November 2012

Full work available at URL http://frontiersinai.com/turingfiles/September/30.pdf

zbMATH Keywords

logic in computer sciencemodel checkingquantitative logics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-Checking Counting Temporal Logics on Flat Structures
• Counting CTL
• Counting CTL
• The complexity of counting models of linear-time temporal logic
• scientific article; zbMATH DE number 1232241

Cited in

(2)

• Logic of transition systems
• Model-Checking Counting Temporal Logics on Flat Structures

This page was built for publication: A counting logic for structure transition systems

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