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

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

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)

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)