scientific article

zbMATH Open1199.03006MaRDI QIDQ3553860FDOQ3553860

Carmen Chiriţă

Publication date: 21 April 2010

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

zbMATH Keywords

Henkin modelsthree-valued temporal predicate logi

Mathematics Subject Classification ID

Many-valued logic (03B50) Temporal logic (03B44) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Cited In (1)

• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Propositional temporal logics: decidability and completeness 👍 👎
• Three-valued temporal logic \(Q_t\) and future contingents 👍 👎
• Verification: Theory and Practice 👍 👎
• Combined temporal and modal logic. Completeness results for predicate logic languages 👍 👎
• A Complete Axiomatization of the Three valued Completion of Logic Programs 👍 👎
• Completeness Theorems for Temporal Logics TΩ and □TΩ 👍 👎

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 Q3553860)