scientific article; zbMATH DE number 4053579

zbMATH Open0646.03023MaRDI QIDQ3789533FDOQ3789533

Authors: Aizhu Zhang, Tong Gao Tang 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 3846861
• Concerning the semantic consequence relation in first-order temporal logic
• scientific article; zbMATH DE number 3972843
• A complete axiomatic characterization of first-order temporal logic of linear time
• Incompleteness of first-order temporal logic with until

zbMATH Keywords

Hoare logicprogramming logicfirst-order temporal logicfirst-order dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Incompleteness of first-order temporal logic with until

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