scientific article; zbMATH DE number 3968560

MaRDI QIDQ3735688zbMATH OpenFDO

Authors Tong Gao Tang

Publication date 1985

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(5)

• Incompleteness of first-order temporal logic with until
• scientific article; zbMATH DE number 1678387 (Why is no real title available?)
• scientific article; zbMATH DE number 5955763 (Why is no real title available?)
• scientific article; zbMATH DE number 1088203 (Why is no real title available?)
• Completion of first-order clauses with equality by strict superposition

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