Extended full computation-tree logics for paraconsistent model checking

MaRDI QIDQ5437779zbMATH OpenFDO

Authors Norihiro Kamide

Publication date 28 January 2008

zbMATH Keywords

bisimulationfull computation-tree logiclocation operatorparaconsistent model checking

Mathematics Subject Classification ID

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

Recommendations

• Paraconsistent computation tree logic
• Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic
• A Paraconsistent Linear-time Temporal Logic
• Extended computation tree logic
• scientific article; zbMATH DE number 2042616

Cited in

(3)

• Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning
• Paraconsistent computation tree logic
• Axiomatising extended computation tree logic

This page was built for publication: Extended full computation-tree logics for paraconsistent model checking

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