Extended full computation-tree logics for paraconsistent model checking

zbMATH Open1133.68045MaRDI QIDQ5437779FDOQ5437779

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)

Cited In (2)

• Paraconsistent computation tree logic
• Axiomatising extended computation tree logic

   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 👍 👎
• Title not available (Why is that?) 👍 👎

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)