Intuitionistic linear-time -calculus

DOI10.3724/SP.J.J.1001.2008.03122zbMATH Open1199.68038MaRDI QIDQ3406322FDOQ3406322

Authors Syed Asad Raza Kazmi, Wenhui Zhang 

Publication date 12 February 2010

zbMATH Keywords

\(\mu\)-calculuspropositional linear temporal logic

Mathematics Subject Classification ID

Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Recommendations

• Computer Science Logic
• Intuitionistic linear temporal logics
• A Proof System for the Linear Time μ-Calculus
• Combining linear-time temporal logic with constructiveness and paraconsistency
• From linear time to branching time

Cited In (3)

• Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus
• Verification, Model Checking, and Abstract Interpretation
• Computer Science Logic

This page was built for publication: Intuitionistic linear-time \(\mu\)-calculus

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