scientific article; zbMATH DE number 1486931

zbMATH Open0984.03026MaRDI QIDQ4495056FDOQ4495056

Authors: Michiro Kondo 

Publication date: 29 January 2001

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1303451
• A Paraconsistent Linear-time Temporal Logic
• Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning

zbMATH Keywords

decidabilitytense logicpseudoconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Some System of Predicate Tense Logic

This page was built for publication:

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